diff options
Diffstat (limited to 'src/util/regexp.h')
| -rw-r--r-- | src/util/regexp.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/util/regexp.h b/src/util/regexp.h index 7985f4072..512c2eff0 100644 --- a/src/util/regexp.h +++ b/src/util/regexp.h @@ -23,6 +23,7 @@ #include <iostream> #include <iomanip> #include <string> +#include <set> #include <sstream> #include "util/exception.h" //#include "util/integer.h" @@ -31,7 +32,6 @@ namespace CVC4 { class CVC4_PUBLIC String { - public: static unsigned int convertCharToUnsignedInt( char c ) { int i = (int)c; @@ -342,6 +342,7 @@ public: return -1; } } + void getCharSet(std::set<unsigned int> &cset) const; };/* class String */ namespace strings { |