From 7c282d371966adcf55a46c99792073b91ecf6257 Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Wed, 29 Jul 2015 17:18:15 +0100
Subject: [PATCH] bugfix for smt::model_finder::set_cancel

follow-up to fixed #178
---
 src/smt/smt_model_finder.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/smt/smt_model_finder.cpp b/src/smt/smt_model_finder.cpp
index 393bd6db2..80851bac7 100644
--- a/src/smt/smt_model_finder.cpp
+++ b/src/smt/smt_model_finder.cpp
@@ -2464,7 +2464,7 @@ namespace smt {
 
             void set_cancel(bool f) { 
                 m_cancel = f; 
-                m_info->set_cancel(f);
+                if (m_info) m_info->set_cancel(f);
             }
 
         };