From 6c115bf896767ca7c3f518127fea7cd168cb85ac Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Wed, 10 Jun 2020 15:03:06 -0700 Subject: [PATCH] cheap eqs Signed-off-by: Lev Nachmanson --- src/smt/smt_setup.cpp | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/smt/smt_setup.cpp b/src/smt/smt_setup.cpp index 96e46dbbf..8330ca98d 100644 --- a/src/smt/smt_setup.cpp +++ b/src/smt/smt_setup.cpp @@ -755,10 +755,10 @@ namespace smt { } void setup::setup_lra_arith() { - if (m_params.m_arith_mode == AS_OLD_ARITH) - m_context.register_plugin(alloc(smt::theory_mi_arith, m_context)); - else - m_context.register_plugin(alloc(smt::theory_lra, m_context)); + // if (m_params.m_arith_mode == AS_OLD_ARITH) + // m_context.register_plugin(alloc(smt::theory_mi_arith, m_context)); + // else + m_context.register_plugin(alloc(smt::theory_lra, m_context)); } void setup::setup_mi_arith() {