From 2dcf36e96cd73b076c83a6c108f3e2f2cc8e9875 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 16 Dec 2018 15:32:38 -0800
Subject: [PATCH] fix #2044

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

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());