diff --git a/src/ast/simplifiers/extract_eqs.cpp b/src/ast/simplifiers/extract_eqs.cpp
index 0c24a0b154a..66ebef85c2d 100644
--- a/src/ast/simplifiers/extract_eqs.cpp
+++ b/src/ast/simplifiers/extract_eqs.cpp
@@ -218,7 +218,7 @@ namespace euf {
 
         void mark_nonzero(expr* e) {
             m_trail.push_back(e);
-            m_nonzero(e);
+            m_nonzero.mark(e);
         }
 
         void add_pos(expr* f) {