From cc7a176c8936162be94235a6277c93bf7d96fd2f Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 2 May 2017 19:32:03 -0700
Subject: [PATCH] update to retain original behavior

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

diff --git a/src/opt/opt_context.cpp b/src/opt/opt_context.cpp
index d486dfd11..1310727aa 100644
--- a/src/opt/opt_context.cpp
+++ b/src/opt/opt_context.cpp
@@ -406,7 +406,7 @@ namespace opt {
             if (r == l_true && !get_lower_as_num(i).is_finite()) {
                 return r;
             }
-            if (r == l_true && i + 1 < m_objectives.size() && get_lower_as_num(i).is_finite()) {
+            if (r == l_true && i + 1 < m_objectives.size()) {
                 update_lower();
             }
         }