Beautifying theory_model.h.

diff --git a/src/theory/theory_model.h b/src/theory/theory_model.h
index 7157433f9864fec5bf84b4f12ca44f36ea81d350..c30d1eabcebdf89b68e5c360a32ccda9201b4d26 100644 (file)
--- a/src/theory/theory_model.h
+++ b/src/theory/theory_model.h
@@ -53,7 +53,7 @@ public:
   Node d_true;
   Node d_false;
   mutable std::hash_map<Node, Node, NodeHashFunction> d_modelCache;
-public:  
+public: 
   /** comment stream to include in printing */
   std::stringstream d_comment_str;
   /** get comments */