fix #6513

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Dec 30, 2022 · 293627c · 293627c
1 parent 07ab4d3
commit 293627c
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/ast/simplifiers/extract_eqs.cpp b/src/ast/simplifiers/extract_eqs.cpp
@@ -263,6 +263,7 @@ namespace euf {
             if (!m_enabled)
                 return;
             m_nonzero.reset();
+            m_trail.reset();
             for (unsigned i = 0; i < fmls.qtail(); ++i) 
                 add_pos(fmls[i].fml());            
         }