diff options
| author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-10-14 11:58:01 -0400 |
|---|---|---|
| committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-10-14 11:58:01 -0400 |
| commit | 7df24c61c7998e1485ab75219078deaf1455bd71 (patch) | |
| tree | 6c9721e80ce7d30eb7d8fd25a286cffcc83f2bf2 /src/decision | |
| parent | 18f3ed1fb81a3ab168474af9467543dea44c7926 (diff) | |
amend prvs commit
Diffstat (limited to 'src/decision')
| -rw-r--r-- | src/decision/justification_heuristic.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/decision/justification_heuristic.cpp b/src/decision/justification_heuristic.cpp index 72dea907c..891d89cc5 100644 --- a/src/decision/justification_heuristic.cpp +++ b/src/decision/justification_heuristic.cpp @@ -480,7 +480,7 @@ JustificationHeuristic::findSplitterRec(TNode node, SatValue desiredVal) d_curDecision = SatLiteral(v, /* negated = */ desiredVal != SAT_VALUE_TRUE ); Trace("decision-node") << "[decision-node] requesting split on " << d_curDecision << ", node: " << node - << ", polarity: " << (desiredVal ? "true" : "false") << std::endl; + << ", polarity: " << (desiredVal == SAT_VALUE_TRUE ? "true" : "false") << std::endl; return FOUND_SPLITTER; } } |