From aa0719abae21a8ab2fc03ead7144e4019ac216ee Mon Sep 17 00:00:00 2001
From: Arie Gurfinkel <arie.gurfinkel@gmail.com>
Date: Thu, 4 Aug 2022 17:49:51 -0400
Subject: [PATCH] model_based_opt: fix enabling complete resolution

a bug prevented an optimization to be enabled
---
 src/math/simplex/model_based_opt.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/math/simplex/model_based_opt.cpp b/src/math/simplex/model_based_opt.cpp
index 8b8f82a31..0223e8bff 100644
--- a/src/math/simplex/model_based_opt.cpp
+++ b/src/math/simplex/model_based_opt.cpp
@@ -981,7 +981,7 @@ namespace opt {
         lub_rows.reset();
         glb_rows.reset();
         mod_rows.reset();
-        bool lub_is_unit = false, glb_is_unit = false;
+        bool lub_is_unit = true, glb_is_unit = true;
         unsigned eq_row = UINT_MAX;
         // select the lub and glb.
         for (unsigned row_id : row_ids) {