From c3add4eeda15dd44d8afe7423b0037dec34e9c8d Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 15 Dec 2017 06:56:36 -0800
Subject: [PATCH] add back missing initialization of lo

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

diff --git a/src/nlsat/nlsat_solver.cpp b/src/nlsat/nlsat_solver.cpp
index c088c406b..e1dadf12b 100644
--- a/src/nlsat/nlsat_solver.cpp
+++ b/src/nlsat/nlsat_solver.cpp
@@ -1251,6 +1251,7 @@ namespace nlsat {
                         rational lo;
                         m_am.int_lt(v, vlo);
                         if (!m_am.is_int(vlo)) continue;
+                        m_am.to_rational(vlo, lo);
                         // derive tight bounds.
                         while (true) {
                             lo++;