From 126e06b8b693ac3d4998aadaba932cc29420b258 Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Mon, 16 Jun 2025 18:29:08 -0700 Subject: [PATCH] fix the test-z3 build Signed-off-by: Lev Nachmanson --- src/test/nlsat.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/test/nlsat.cpp b/src/test/nlsat.cpp index 9274938ef..8b283247d 100644 --- a/src/test/nlsat.cpp +++ b/src/test/nlsat.cpp @@ -319,7 +319,7 @@ static void project(nlsat::solver& s, nlsat::explain& ex, nlsat::var x, unsigned static void project_fa(nlsat::solver& s, nlsat::explain& ex, nlsat::var x, unsigned num, nlsat::literal const* lits) { std::cout << "Project "; nlsat::scoped_literal_vector result(s); - ex(num, lits, result); + ex.main_operator(num, lits, result); std::cout << "(or"; for (auto l : result) { s.display(std::cout << " ", l);