From e0393f85fa3502b3c4b1557653245c2fd3884677 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 22 Apr 2021 23:46:05 -0700 Subject: [PATCH] #5211 --- src/sat/smt/euf_internalize.cpp | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/sat/smt/euf_internalize.cpp b/src/sat/smt/euf_internalize.cpp index ea13ba398..d6926566a 100644 --- a/src/sat/smt/euf_internalize.cpp +++ b/src/sat/smt/euf_internalize.cpp @@ -141,8 +141,7 @@ namespace euf { } m_bool_var2expr.reserve(v + 1, nullptr); - if (m_bool_var2expr[v]) { - SASSERT(m_egraph.find(e)); + if (m_bool_var2expr[v] && m_egraph.find(e)) { SASSERT(m_egraph.find(e)->bool_var() == v); return lit; }