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());
     }