mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 02:15:19 +00:00
fix compilation problem, issue #297
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
5ea2c22153
commit
396875bedf
|
@ -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());
|
||||
}
|
||||
|
||||
|
||||
|
|
Loading…
Reference in a new issue