From 58586bd4a33f32d02b84502cabb1e34107bb539d Mon Sep 17 00:00:00 2001 From: Kshitij Bansal Date: Mon, 23 Jun 2014 11:49:22 -0400 Subject: [PATCH] cosmetic --- src/context/cdhashmap.h | 2 +- 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* 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); } -- 2.30.2