From 47e44c5538e2be8d11abfd34e7eea3d4a310379f Mon Sep 17 00:00:00 2001 From: Nuno Lopes Date: Sat, 1 Oct 2022 12:17:15 +0100 Subject: [PATCH] fix build --- src/muz/spacer/spacer_iuc_solver.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/muz/spacer/spacer_iuc_solver.h b/src/muz/spacer/spacer_iuc_solver.h index 8bc4ef1d4..edfc68522 100644 --- a/src/muz/spacer/spacer_iuc_solver.h +++ b/src/muz/spacer/spacer_iuc_solver.h @@ -68,7 +68,7 @@ private: app* fresh_proxy(); void elim_proxies(expr_ref_vector &v); public: - iuc_solver(solver &, unsigned iuc, unsigned iuc_arith, + iuc_solver(solver &s, unsigned iuc, unsigned iuc_arith, bool print_farkas_stats, bool old_hyp_reducer, bool split_literals = false) : solver(m),