diff --git a/src/opt/opt_context.cpp b/src/opt/opt_context.cpp
index 5d1ec835b..66c175ac8 100644
--- a/src/opt/opt_context.cpp
+++ b/src/opt/opt_context.cpp
@@ -300,6 +300,7 @@ namespace opt {
             }
             return is_sat;
         }
+        s.assert_expr(asms);
         IF_VERBOSE(1, verbose_stream() << "(optimize:sat)\n");
         TRACE("opt", model_smt2_pp(tout, m, *m_model, 0););
         m_optsmt.setup(*m_opt_solver.get());