fix for the SmtEngine::beforeSearch() option predicate

diff --git a/src/smt/smt_engine.h b/src/smt/smt_engine.h
index 5f051189494d01ca939cf0ada8fc2eb5cd08bb4a..53454b109e5261afd126e8f2b1a32e10c5857f7c 100644 (file)
--- 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());