From: Kshitij Bansal <kshitij@cs.nyu.edu>
Date: Mon, 23 Jun 2014 15:49:22 +0000 (-0400)
Subject: cosmetic
X-Git-Tag: cvc5-1.0.0~6712^2~4
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=58586bd4a33f32d02b84502cabb1e34107bb539d;p=cvc5.git

cosmetic
---

diff --git a/src/context/cdhashmap.h b/src/context/cdhashmap.h
index 7fb36bb3a..4d2b8570f 100644
--- a/src/context/cdhashmap.h
+++ b/src/context/cdhashmap.h
@@ -180,7 +180,7 @@ public:
 
   CDOhash_map(Context* context,
          CDHashMap<Key, Data, HashFcn>* map,
-	 const Key& key,
+         const Key& key,
          const Data& data,
          bool atLevelZero = false,
          bool allocatedInCMM = false) :
diff --git a/src/decision/decision_engine.h b/src/decision/decision_engine.h
index cda696a03..8173c7269 100644
--- a/src/decision/decision_engine.h
+++ b/src/decision/decision_engine.h
@@ -144,9 +144,9 @@ public:
   /** Is the DecisionEngine in a state where it has solved everything? */
   bool isDone() {
     Trace("decision") << "DecisionEngine::isDone() returning "
-		      << (d_result != SAT_VALUE_UNKNOWN)
-		      << (d_result != SAT_VALUE_UNKNOWN ? "true" : "false")
-		      << std::endl;
+                      << (d_result != SAT_VALUE_UNKNOWN)
+                      << (d_result != SAT_VALUE_UNKNOWN ? "true" : "false")
+                      << std::endl;
     return (d_result != SAT_VALUE_UNKNOWN);
   }