From cb94f82f37f0a8fb0677a3318640d36f7c4bffa6 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 30 Jan 2019 09:31:05 -0800
Subject: [PATCH] fix #2118

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

diff --git a/src/opt/maxlex.cpp b/src/opt/maxlex.cpp
index 1ee9db090..b2799f1c8 100644
--- a/src/opt/maxlex.cpp
+++ b/src/opt/maxlex.cpp
@@ -127,7 +127,7 @@ namespace opt {
             }
             model_ref mdl;
             s().get_model(mdl);
-            update_assignment(mdl);           
+            if (mdl) update_assignment(mdl);           
         }
 
         lbool maxlex1() {