1 files changed, 3 insertions, 2 deletions
diff --git a/src/util/sexpr.h b/src/util/sexpr.h
index 2948cba4b..0b517570e 100644
--- a/src/util/sexpr.h
+++ b/src/util/sexpr.h
@@ -39,11 +39,12 @@
 namespace CVC4 {
 
 class CVC4_PUBLIC SExprKeyword {
-  std::string d_str;
-
  public:
   SExprKeyword(const std::string& s) : d_str(s) {}
   const std::string& getString() const { return d_str; }
+
+ private:
+  std::string d_str;
 }; /* class SExpr::Keyword */
 
 /**