From a1a8a758846ae4d0a0bd4d6d2b969afd66ddad42 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Wed, 1 Aug 2012 19:25:10 +0000
Subject: [PATCH] fix for the SmtEngine::beforeSearch() option predicate

---
 src/smt/smt_engine.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/smt/smt_engine.h b/src/smt/smt_engine.h
index 5f0511894..53454b109 100644
--- a/src/smt/smt_engine.h
+++ b/src/smt/smt_engine.h
@@ -555,7 +555,7 @@ public:
    * Used as a predicate for options preprocessor.
    */
   static void beforeSearch(std::string option, bool value, SmtEngine* smt) {
-    if(smt->d_queryMade || smt->d_problemExtended) {
+    if(smt != NULL && (smt->d_queryMade || smt->d_problemExtended)) {
       std::stringstream ss;
       ss << "cannot change option `" << option << "' after assertions have been made";
       throw OptionException(ss.str());
-- 
2.30.2