From 73724f9cab4e12eda8404e675bd03d08a6a49a6d Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 17 Aug 2023 18:45:49 -0700 Subject: [PATCH] lines that go away Signed-off-by: Nikolaj Bjorner --- src/sat/smt/arith_internalize.cpp | 1 - src/smt/theory_lra.cpp | 1 - 2 files changed, 2 deletions(-) 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()); } }