diff options
Diffstat (limited to 'src/Resource.cc')
| -rw-r--r-- | src/Resource.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Resource.cc b/src/Resource.cc index f3b0e5f9..cff9bd38 100644 --- a/src/Resource.cc +++ b/src/Resource.cc @@ -116,6 +116,7 @@ void Resource::setValue(const std::string &rname, long value) { void Resource::setValue(const std::string &rname, const char *value) { ASSERT(m_database != NULL); + ASSERT(value != NULL); std::string rc_string = rname + ": " + value; XrmPutLineResource(&m_database, rc_string.c_str()); |