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() {