From 903cddcaaa40236eb64ce3745718add2d36bc9cd Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 30 Sep 2022 17:10:18 -0400 Subject: [PATCH] fix build Signed-off-by: Nikolaj Bjorner --- src/muz/spacer/spacer_iuc_solver.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/muz/spacer/spacer_iuc_solver.h b/src/muz/spacer/spacer_iuc_solver.h index be1a3879b..8bc4ef1d4 100644 --- a/src/muz/spacer/spacer_iuc_solver.h +++ b/src/muz/spacer/spacer_iuc_solver.h @@ -68,11 +68,11 @@ private: app* fresh_proxy(); void elim_proxies(expr_ref_vector &v); public: - iuc_solver(solver &solver, unsigned iuc, unsigned iuc_arith, + iuc_solver(solver &, unsigned iuc, unsigned iuc_arith, bool print_farkas_stats, bool old_hyp_reducer, bool split_literals = false) : solver(m), - m_solver(solver), + m_solver(s), m_proxies(m), m_num_proxies(0), m_base_defs(*this),