amend prvs commit

diff --git a/src/decision/justification_heuristic.cpp b/src/decision/justification_heuristic.cpp
index 72dea907c81a19641490aeb49ddb6cd1febd6cc7..891d89cc5aff91c0313bce99003572a236dcaa66 100644 (file)
--- 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;
     }
   }