From 6a3fe514f0a2c42a45fc33a0ae2b8b549b4125ad Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 6 Jan 2022 14:07:54 -0800
Subject: [PATCH] build

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

diff --git a/src/opt/optsmt.cpp b/src/opt/optsmt.cpp
index 966c6efef..1063d2582 100644
--- a/src/opt/optsmt.cpp
+++ b/src/opt/optsmt.cpp
@@ -202,7 +202,7 @@ namespace opt {
         for (unsigned i = 0; i < obj_index; ++i) 
             commit_assignment(i);
 
-        bound = update_lower();
+        m_s->maximize_objective(obj_index, bound);
         m_s->assert_expr(bound);
 
         unsigned steps = 0;