From 293627c889b4adef608d3204efcee1bb39826a7a Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 30 Dec 2022 09:55:33 -0800
Subject: [PATCH] fix #6513

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/ast/simplifiers/extract_eqs.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/ast/simplifiers/extract_eqs.cpp b/src/ast/simplifiers/extract_eqs.cpp
index 583f7620639..0c24a0b154a 100644
--- 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());            
         }