From 2c3ecceb03a2b14722d7436d977e6566c4ba122f Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 30 Dec 2022 15:47:24 -0800
Subject: [PATCH] fix build

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

diff --git a/src/ast/simplifiers/extract_eqs.cpp b/src/ast/simplifiers/extract_eqs.cpp
index 0c24a0b15..66ebef85c 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) {