From: Kshitij Bansal <kshitij@cs.nyu.edu>
Date: Tue, 14 Oct 2014 15:58:01 +0000 (-0400)
Subject: amend prvs commit
X-Git-Tag: cvc5-1.0.0~6563
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=7df24c61c7998e1485ab75219078deaf1455bd71;p=cvc5.git

amend prvs commit
---

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;
     }
   }