Moving SExpr(bool) out of the header into sexpr.cpp to be less verbose about the...

diff --git a/src/expr/sexpr.cpp b/src/expr/sexpr.cpp
index a321f85aaabd3d506ac026e5313cebc0a88c8817..b8ffca5e56b9aae76cb4cea7fabeaec9b2a34458 100644 (file)
--- a/src/expr/sexpr.cpp
+++ b/src/expr/sexpr.cpp
@@ -42,6 +42,15 @@ std::ostream& operator<<(std::ostream& out, PrettySExprs ps) {
   return out;
 }
 
+#warning "TODO: Discuss this change with Clark."
+SExpr::SExpr(bool value) :
+    d_sexprType(SEXPR_KEYWORD),
+    d_integerValue(0),
+    d_rationalValue(0),
+    d_stringValue(value ? "true" : "false"),
+    d_children() {
+}
+
 std::string SExpr::toString() const {
   std::stringstream ss;
   ss << (*this);

diff --git a/src/expr/sexpr.h b/src/expr/sexpr.h
index f30045c68adb200bd80e5177366b2287221f7d7d..158be0efbd899a88bbfc6e51e016556d849160b4 100644 (file)
--- a/src/expr/sexpr.h
+++ b/src/expr/sexpr.h
@@ -157,14 +157,7 @@ public:
    * This adds a convenience wrapper to SExpr to cast from bools.
    * This is internally handled as the strings "true" and "false"
    */
-  SExpr(bool value) :
-#warning "TODO: Discuss this change with Clark."
-    d_sexprType(SEXPR_KEYWORD),
-    d_integerValue(0),
-    d_rationalValue(0),
-    d_stringValue(value ? "true" : "false"),
-    d_children() {
-  }
+  SExpr(bool value);
 
   SExpr(const Keyword& value) :
     d_sexprType(SEXPR_KEYWORD),