From 7ada20c65dcbfd89012b469ca48364bb17addfda Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 31 Mar 2020 14:15:29 -0700
Subject: [PATCH] fix build

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 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 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;
             }
         }