diff options
| author | Carl Hetherington <cth@carlh.net> | 2016-10-20 11:42:14 +0100 |
|---|---|---|
| committer | Carl Hetherington <cth@carlh.net> | 2016-10-20 11:42:14 +0100 |
| commit | 00b60f52add041a36fa62118baf4b5ac78993980 (patch) | |
| tree | a1427c61dc4ed0a17bb9f120985481f1772b9d50 /src/lib/util.cc | |
| parent | bd3be0efd59054666fd04d69715275f257994f5e (diff) | |
Give a better error if the user tries to load a non-KDM as a DKDM into the KDM creator.
Diffstat (limited to 'src/lib/util.cc')
| -rw-r--r-- | src/lib/util.cc | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/src/lib/util.cc b/src/lib/util.cc index 00f36f217..38451e931 100644 --- a/src/lib/util.cc +++ b/src/lib/util.cc @@ -675,9 +675,3 @@ relaxed_string_to_float (string s) return lexical_cast<float> (s); } } - -bool -string_not_empty (string s) -{ - return !s.empty (); -} |