From 7baa4f88b0cb4458461596d147e1f71853d77126 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 6 Jan 2022 15:17:57 -0800 Subject: [PATCH] build failure --- src/opt/optsmt.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/opt/optsmt.cpp b/src/opt/optsmt.cpp index 1063d2582..58cdd0cda 100644 --- a/src/opt/optsmt.cpp +++ b/src/opt/optsmt.cpp @@ -202,8 +202,8 @@ namespace opt { for (unsigned i = 0; i < obj_index; ++i) commit_assignment(i); - m_s->maximize_objective(obj_index, bound); - m_s->assert_expr(bound); +// m_s->maximize_objective(obj_index, bound); +// m_s->assert_expr(bound); unsigned steps = 0; unsigned step_incs = 0;