diff options
| author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-06-23 11:49:22 -0400 |
|---|---|---|
| committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-06-25 13:42:38 -0400 |
| commit | 58586bd4a33f32d02b84502cabb1e34107bb539d (patch) | |
| tree | b307727f0165049c71a5268ee2baebf576c803b9 /src/decision | |
| parent | 2996101cac0fa61ae332fe63463f811e4af61b01 (diff) | |
cosmetic
Diffstat (limited to 'src/decision')
| -rw-r--r-- | src/decision/decision_engine.h | 6 |
1 files changed, 3 insertions, 3 deletions
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); } |