From d8133a47c209ff0140de0c823027da84507af862 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 5 Nov 2022 22:47:46 -0700
Subject: [PATCH] Update solve_eqs.cpp
---
src/ast/simplifiers/solve_eqs.cpp | 1 -
1 file changed, 1 deletion(-)
diff --git a/src/ast/simplifiers/solve_eqs.cpp b/src/ast/simplifiers/solve_eqs.cpp
index b611e0144..f364c31e1 100644
--- a/src/ast/simplifiers/solve_eqs.cpp
+++ b/src/ast/simplifiers/solve_eqs.cpp
@@ -76,7 +76,6 @@ namespace euf {
};
auto is_safe = [&](unsigned lvl, expr* t) {
- for (auto* e : subterms::all(expr_ref(t, m)))
for (auto* e : subterms::all(expr_ref(t, m), &m_todo, &m_visited))
if (is_var(e) && m_id2level[var2id(e)] < lvl)
return false;