From 76c2fb5732a7804c44e0ace8f5a81ba462943f66 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 11 Apr 2020 11:36:10 -0700
Subject: [PATCH] remove ref

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/smt/theory_lra.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/smt/theory_lra.cpp b/src/smt/theory_lra.cpp
index 52d716565..30a365694 100644
--- a/src/smt/theory_lra.cpp
+++ b/src/smt/theory_lra.cpp
@@ -3005,7 +3005,7 @@ public:
         else {
             ++m_stats.m_assert_upper;
         }
-        inf_rational const& value = b.get_value(is_true);
+        inf_rational value = b.get_value(is_true);
         if (propagate_eqs() && value.is_rational()) {
             propagate_eqs(b.tv(), ci, k, b, value.get_rational());
         }