diff options
-rw-r--r-- | src/context/cdhashmap.h | 2 | ||||
-rw-r--r-- | src/decision/decision_engine.h | 6 |
2 files changed, 4 insertions, 4 deletions
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); } |