From 8b205c8bd2e5b0e682bc50ec256d549019175979 Mon Sep 17 00:00:00 2001
From: Tim King <taking@google.com>
Date: Wed, 31 Aug 2016 15:55:34 -0700
Subject: [PATCH] Beautifying theory_model.h.

---
 src/theory/theory_model.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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 */
-- 
2.30.2