From: Tim King <taking@google.com>
Date: Wed, 31 Aug 2016 22:55:34 +0000 (-0700)
Subject: Beautifying theory_model.h.
X-Git-Tag: cvc5-1.0.0~6028^2~70
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=8b205c8bd2e5b0e682bc50ec256d549019175979;p=cvc5.git

Beautifying theory_model.h.
---

diff --git a/src/theory/theory_model.h b/src/theory/theory_model.h
index 7157433f9..c30d1eabc 100644
--- 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 */