Enables the PreferenceFunction minBoundAndRowCount.

diff --git a/src/theory/arith/simplex.cpp b/src/theory/arith/simplex.cpp
index 956a835630210763bd5d0651d4ecc452c2efce56..7e83e1b9ea521e47334a6770959d9fd900fe6aa9 100644 (file)
--- 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);