From: Tim King <taking@cs.nyu.edu>
Date: Sat, 5 Mar 2011 19:30:06 +0000 (+0000)
Subject: Enables the PreferenceFunction minBoundAndRowCount.
X-Git-Tag: cvc5-1.0.0~8668
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=3310588529b41924aadf706106599b99a3707a85;p=cvc5.git

Enables the PreferenceFunction minBoundAndRowCount.
---

diff --git a/src/theory/arith/simplex.cpp b/src/theory/arith/simplex.cpp
index 956a83563..7e83e1b9e 100644
--- a/src/theory/arith/simplex.cpp
+++ b/src/theory/arith/simplex.cpp
@@ -453,7 +453,7 @@ Node SimplexDecisionProcedure::updateInconsistentVars(){
     possibleConflict = findConflictOnTheQueue(BeforeDiffSearch);
   }
   if(possibleConflict.isNull()){
-    possibleConflict = searchForFeasibleSolution<minRowCount>(d_numVariables + 1);
+    possibleConflict = searchForFeasibleSolution<minBoundAndRowCount>(d_numVariables + 1);
   }
   if(d_queue.size() > 1 && possibleConflict.isNull()){
     possibleConflict = findConflictOnTheQueue(AfterDiffSearch);