From 178262fc1292a607a449c7301f62053db60793f1 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 11 Aug 2021 09:30:03 -0700 Subject: [PATCH] #5454 --- src/ast/euf/euf_egraph.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ast/euf/euf_egraph.h b/src/ast/euf/euf_egraph.h index 1ac54f6f0..ac12f6cef 100644 --- a/src/ast/euf/euf_egraph.h +++ b/src/ast/euf/euf_egraph.h @@ -235,7 +235,7 @@ namespace euf { enode* find(expr* f, unsigned n, enode* const* args); enode* mk(expr* f, unsigned generation, unsigned n, enode *const* args); enode_vector const& enodes_of(func_decl* f); - void push() { ++m_num_scopes; } + void push() { if (!m_to_merge.empty()) propagate(); ++m_num_scopes; } void pop(unsigned num_scopes); /**