From e964973f19f7e5487a71499b36a298d25f733061 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 8 Feb 2020 16:01:12 -0800 Subject: [PATCH] na Signed-off-by: Nikolaj Bjorner --- src/test/lp/lp.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/test/lp/lp.cpp b/src/test/lp/lp.cpp index 7dc04a8f8..ca1fc4d20 100644 --- a/src/test/lp/lp.cpp +++ b/src/test/lp/lp.cpp @@ -2960,7 +2960,7 @@ void test_term() { std::cout << "\ntableau before cube\n"; solver.m_mpq_lar_core_solver.m_r_solver.pretty_print(std::cout); std::cout << "\n"; - int_solver i_s(&solver); + int_solver i_s(solver); solver.set_int_solver(&i_s); lia_move m = i_s.find_cube(); @@ -3763,7 +3763,7 @@ void test_larger_generated_hnf() { void test_maximize_term() { std::cout << "test_maximize_term\n"; lar_solver solver; - int_solver i_solver(&solver); // have to create it too + int_solver i_solver(solver); // have to create it too unsigned _x = 0; unsigned _y = 1; var_index x = solver.add_var(_x, false);