From: Andres Noetzli <andres.noetzli@gmail.com>
Date: Thu, 30 Aug 2018 17:22:47 +0000 (-0700)
Subject: Use useBland option in FCSimplexDecisionProcedure (#2405)
X-Git-Tag: cvc5-1.0.0~4696
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=6d04d6daff575a7e48eb88124faefadfadf727f4;p=cvc5.git

Use useBland option in FCSimplexDecisionProcedure (#2405)
---

diff --git a/src/theory/arith/fc_simplex.h b/src/theory/arith/fc_simplex.h
index 9fa666f95..0fc646151 100644
--- 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);
   }