From d22c86f9fe6b817cfcc3a085fb5fc4055db1de83 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 3 Oct 2022 15:53:58 -0400 Subject: [PATCH] init spacer_iuc_solver properly Signed-off-by: Nikolaj Bjorner --- 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 edfc68522..0d4712215 100644 --- a/src/muz/spacer/spacer_iuc_solver.h +++ b/src/muz/spacer/spacer_iuc_solver.h @@ -71,7 +71,7 @@ public: iuc_solver(solver &s, unsigned iuc, unsigned iuc_arith, bool print_farkas_stats, bool old_hyp_reducer, bool split_literals = false) : - solver(m), + solver(s.get_manager()), m_solver(s), m_proxies(m), m_num_proxies(0),