fix build

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Dec 30, 2022 · 2c3ecce · 2c3ecce
1 parent 8002a51
commit 2c3ecce
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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) {