From c95713d981b513d00f9f665288c574ddc31eaf89 Mon Sep 17 00:00:00 2001
From: Kshitij Bansal <kshitij@cs.nyu.edu>
Date: Sat, 11 Oct 2014 20:15:32 -0400
Subject: [PATCH] fix statistic in decision engine

---
 src/decision/justification_heuristic.cpp | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/src/decision/justification_heuristic.cpp b/src/decision/justification_heuristic.cpp
index 891d89cc5..c9a6b7e1b 100644
--- a/src/decision/justification_heuristic.cpp
+++ b/src/decision/justification_heuristic.cpp
@@ -108,6 +108,7 @@ CVC4::prop::SatLiteral JustificationHeuristic::getNextThresh(bool &stopSearch, D
     if(litDecision != undefSatLiteral) {
       setPrvsIndex(i);
       Trace("decision") << "jh: splitting on " << litDecision << std::endl;
+      ++d_helfulness;
       return litDecision;
     }
   }
@@ -197,9 +198,7 @@ SatLiteral JustificationHeuristic::findSplitter(TNode node,
                                                 SatValue desiredVal)
 {
   d_curDecision = undefSatLiteral;
-  if(findSplitterRec(node, desiredVal)) {
-    ++d_helfulness;
-  }
+  findSplitterRec(node, desiredVal);
   return d_curDecision;
 }
 
-- 
2.30.2