From 3310588529b41924aadf706106599b99a3707a85 Mon Sep 17 00:00:00 2001
From: Tim King <taking@cs.nyu.edu>
Date: Sat, 5 Mar 2011 19:30:06 +0000
Subject: [PATCH] Enables the PreferenceFunction minBoundAndRowCount.

---
 src/theory/arith/simplex.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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);
-- 
2.30.2