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