From 82f1e81ac24fe34d718a237fbc9df74ea847ba05 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 19 Jan 2015 00:50:08 +0000 Subject: [PATCH] fix build errors on gcc Signed-off-by: Nikolaj Bjorner --- src/smt/theory_arith_aux.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/smt/theory_arith_aux.h b/src/smt/theory_arith_aux.h index ffc8314e0..37cbf7bc0 100644 --- a/src/smt/theory_arith_aux.h +++ b/src/smt/theory_arith_aux.h @@ -417,7 +417,7 @@ namespace smt { template void theory_arith::atom::display(theory_arith const& th, std::ostream& out) const { literal l(get_bool_var(), !m_is_true); - out << "v" << get_var() << " " << get_bound_kind() << " " << get_k() << " "; + out << "v" << bound::get_var() << " " << bound::get_bound_kind() << " " << get_k() << " "; out << l << ":"; th.get_context().display_detailed_literal(out, l); } @@ -747,7 +747,7 @@ namespace smt { template void theory_arith::derived_bound::display(theory_arith const& th, std::ostream& out) const { - out << "v" << m_var << " " << get_bound_kind() << " " << get_value(); + out << "v" << bound::get_var() << " " << bound::get_bound_kind() << " " << bound::get_value(); ast_manager& m = th.get_manager(); for (unsigned i = 0; i < m_eqs.size(); ++i) {