From 9031b5b94957f7da1ef9a1c5a8630ea3e368e500 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 18 May 2021 11:46:46 -0700 Subject: [PATCH] fix build Signed-off-by: Nikolaj Bjorner --- src/smt/tactic/ctx_solver_simplify_tactic.cpp | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/smt/tactic/ctx_solver_simplify_tactic.cpp b/src/smt/tactic/ctx_solver_simplify_tactic.cpp index e7608dd4b..fd05c4a8e 100644 --- a/src/smt/tactic/ctx_solver_simplify_tactic.cpp +++ b/src/smt/tactic/ctx_solver_simplify_tactic.cpp @@ -190,6 +190,8 @@ protected: parent_pos = todo.back().m_parent; self_idx = todo.back().m_idx; n = names.back(); + bool found = false; + if (cache.contains(e)) { goto done; @@ -213,7 +215,6 @@ protected: sz = a->get_num_args(); n2 = nullptr; - bool found = false; // // This is a single traversal version of the context