From 53b5ca3c2b1a5380f47076570849f92b0c583b28 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 30 Mar 2020 13:35:40 -0700 Subject: [PATCH] disambiguate call Signed-off-by: Nikolaj Bjorner --- src/smt/theory_arith_nl.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/smt/theory_arith_nl.h b/src/smt/theory_arith_nl.h index 34297c172..511c0a7cd 100644 --- a/src/smt/theory_arith_nl.h +++ b/src/smt/theory_arith_nl.h @@ -811,7 +811,7 @@ bool theory_arith::branch_nl_int_var(theory_var v) { } ctx.internalize(bound, true); if (m.has_trace_stream()) m.trace_stream() << "[end-of-instance]\n"; - ctx.mark_as_relevant(bound); + ctx.mark_as_relevant(bound.get()); literal l = ctx.get_literal(bound); SASSERT(!l.sign()); ctx.set_true_first_flag(l.var()); // force the context to case split to true first, independently of the phase selection strategy.