diff --git a/src/smt/theory_arith_int.h b/src/smt/theory_arith_int.h
index fe3b3d4c8..9fd548aea 100644
--- a/src/smt/theory_arith_int.h
+++ b/src/smt/theory_arith_int.h
@@ -420,7 +420,7 @@ namespace smt {
                     scoped_trace_stream _sts(*this, fn);
                     ctx.internalize(bound, true);
                 }
-                ctx.mark_as_relevant(bound);
+                ctx.mark_as_relevant(bound.get());
                 result = true;
             }
         }