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;