diff --git a/src/sat/smt/arith_internalize.cpp b/src/sat/smt/arith_internalize.cpp
index 9a4399b96..3174ad775 100644
--- a/src/sat/smt/arith_internalize.cpp
+++ b/src/sat/smt/arith_internalize.cpp
@@ -66,7 +66,6 @@ namespace arith {
                 (void)_s;
                 m_nla->push();
             }
-            smt_params_helper prms(s().params());
         }
     }
 
diff --git a/src/smt/theory_lra.cpp b/src/smt/theory_lra.cpp
index e134b13e2..6dc14fb13 100644
--- a/src/smt/theory_lra.cpp
+++ b/src/smt/theory_lra.cpp
@@ -273,7 +273,6 @@ class theory_lra::imp {
                 return ctx().is_relevant(th.get_enode(u));
             };
             m_nla->set_relevant(is_relevant);
-            smt_params_helper prms(ctx().get_params());
         }
     }