From 7a6eb9bb4d6c77f186f9bcd7679b9c08159c8d29 Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Wed, 3 Dec 2025 06:49:00 -1000 Subject: [PATCH] fix the build Signed-off-by: Lev Nachmanson --- src/test/nlsat.cpp | 4 ---- 1 file changed, 4 deletions(-) diff --git a/src/test/nlsat.cpp b/src/test/nlsat.cpp index 046839265..3715bf69d 100644 --- a/src/test/nlsat.cpp +++ b/src/test/nlsat.cpp @@ -632,16 +632,12 @@ static void tst9() { #define TEST_ON_OFF() \ std::cout << "Off "; \ - ex.set_signed_project(false); \ project(s, ex, _x, lits.size()-1, lits.data()); \ std::cout << "On "; \ - ex.set_signed_project(true); \ project(s, ex, _x, lits.size()-1, lits.data()); \ std::cout << "Off "; \ - ex.set_signed_project(false); \ project(s, ex, _x, lits.size(), lits.data()); \ std::cout << "On "; \ - ex.set_signed_project(true); \ project(s, ex, _x, lits.size(), lits.data()) \ TEST_ON_OFF();