From 03abb94451a8bc2fb59b5b2fc95c931715575dc0 Mon Sep 17 00:00:00 2001 From: Andrew Reynolds Date: Mon, 20 Aug 2018 19:22:21 -0500 Subject: More unused code elimination (#2339) --- src/theory/quantifiers_engine.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/theory/quantifiers_engine.cpp') diff --git a/src/theory/quantifiers_engine.cpp b/src/theory/quantifiers_engine.cpp index 73d2de401..8c43e98ff 100644 --- a/src/theory/quantifiers_engine.cpp +++ b/src/theory/quantifiers_engine.cpp @@ -116,7 +116,7 @@ QuantifiersEngine::QuantifiersEngine(context::Context* c, } if( options::inferArithTriggerEq() ){ - d_eq_inference = new quantifiers::EqualityInference( c, options::inferArithTriggerEqExp() ); + d_eq_inference = new quantifiers::EqualityInference(c, false); }else{ d_eq_inference = NULL; } -- cgit v1.2.3