From: Kshitij Bansal <kshitij@cs.nyu.edu>
Date: Wed, 30 Jan 2013 16:59:59 +0000 (-0500)
Subject: decision/ : save d_prvsIndex in JH
X-Git-Tag: cvc5-1.0.0~7391^2~16^2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=78fc27358e6b6aae27b11528be54003022b1f663;p=cvc5.git

decision/ : save d_prvsIndex in JH
---

diff --git a/src/decision/justification_heuristic.h b/src/decision/justification_heuristic.h
index de6bf5095..5d13d2dd2 100644
--- a/src/decision/justification_heuristic.h
+++ b/src/decision/justification_heuristic.h
@@ -130,8 +130,10 @@ public:
         return prop::undefSatLiteral;
       }
 
-      if(litDecision != undefSatLiteral)
+      if(litDecision != undefSatLiteral) {
+        d_prvsIndex = i;
         return litDecision;
+      }
     }
 
     Trace("decision") << "jh: Nothing to split on " << std::endl;