From 7a6c66a0856e372e5251743c1836deae45e02390 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 12 May 2020 17:38:16 -0700 Subject: [PATCH] add stubs Signed-off-by: Nikolaj Bjorner --- src/smt/theory_lra.cpp | 5 ----- 1 file changed, 5 deletions(-) diff --git a/src/smt/theory_lra.cpp b/src/smt/theory_lra.cpp index e2c56f7e5..64eae7105 100644 --- a/src/smt/theory_lra.cpp +++ b/src/smt/theory_lra.cpp @@ -1626,11 +1626,6 @@ public: unsigned old_sz = m_assume_eq_candidates.size(); unsigned num_candidates = 0; int start = ctx().get_random_value(); - auto has_value = [&](theory_var v) { - if (use_nra_model()) - return true; - return can_get_ivalue(v); - }; for (theory_var i = 0; i < sz; ++i) { theory_var v = (i + start) % sz; enode* n1 = get_enode(v);