Use useBland option in FCSimplexDecisionProcedure (#2405)

diff --git a/src/theory/arith/fc_simplex.h b/src/theory/arith/fc_simplex.h
index 9fa666f95ed25b237c3584576ed578bf86cd1b54..0fc646151d26bf62a19400956951df20512d5ee1 100644 (file)
--- a/src/theory/arith/fc_simplex.h
+++ b/src/theory/arith/fc_simplex.h
@@ -196,7 +196,6 @@ private:
     LinearEqualityModule::VarPreferenceFunction bpf = useBlands ?
       &LinearEqualityModule::minVarOrder :
       &LinearEqualityModule::minRowLength;
-    bpf = &LinearEqualityModule::minVarOrder;
 
     return selectPrimalUpdate(basic, upf, bpf);
   }