cosmetic

diff --git a/src/context/cdhashmap.h b/src/context/cdhashmap.h
index 7fb36bb3ad7dc831164787999a23e3654d1bfba5..4d2b8570fcb3a66447acf94e6af9e83be6fc2841 100644 (file)
--- 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 cda696a03331ee1deda7064ff283bcdef1881958..8173c7269dab5310e82e5490ef11351132f43b5d 100644 (file)
--- 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);
   }