diff options
Diffstat (limited to 'src/util/sexpr.h')
-rw-r--r-- | src/util/sexpr.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/util/sexpr.h b/src/util/sexpr.h index b99eda5ca..0734dec6c 100644 --- a/src/util/sexpr.h +++ b/src/util/sexpr.h @@ -58,11 +58,11 @@ class CVC4_PUBLIC SExpr { public: - class Keyword : protected std::string { + class CVC4_PUBLIC Keyword : protected std::string { public: Keyword(const std::string& s) : std::string(s) {} const std::string& getString() const { return *this; } - };/* class Keyword */ + };/* class SExpr::Keyword */ SExpr() : d_sexprType(SEXPR_STRING), |