diff options
Diffstat (limited to 'src/util/string.h')
-rw-r--r-- | src/util/string.h | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/util/string.h b/src/util/string.h index 032105812..637ffe365 100644 --- a/src/util/string.h +++ b/src/util/string.h @@ -117,8 +117,6 @@ class CVC4_PUBLIC String { std::string toString(bool useEscSequences = false) const; /** is this the empty string? */ bool empty() const { return d_str.empty(); } - /** is this the empty string? */ - bool isEmptyString() const { return empty(); } /** is less than or equal to string y */ bool isLeq(const String& y) const; /** Return the length of the string */ |