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