From 396875bedfea80c23eeb9cb21d68acd7d5332e91 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 6 Nov 2015 22:56:53 -0800 Subject: [PATCH] fix compilation problem, issue #297 Signed-off-by: Nikolaj Bjorner --- src/smt/theory_arith_int.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/smt/theory_arith_int.h b/src/smt/theory_arith_int.h index 30ae6feac..72e1f1bc2 100644 --- a/src/smt/theory_arith_int.h +++ b/src/smt/theory_arith_int.h @@ -210,7 +210,7 @@ namespace smt { TRACE("arith_int", tout << mk_bounded_pp(bound, get_manager()) << "\n";); context & ctx = get_context(); ctx.internalize(bound, true); - ctx.mark_as_relevant(bound); + ctx.mark_as_relevant(bound.get()); }