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();
             }
         }