diff --git a/src/cmd_context/cmd_context.cpp b/src/cmd_context/cmd_context.cpp
index f863393fb..02b2b6525 100644
--- a/src/cmd_context/cmd_context.cpp
+++ b/src/cmd_context/cmd_context.cpp
@@ -1493,6 +1493,11 @@ void cmd_context::check_sat(unsigned num_assumptions, expr * const * assumptions
 }
 
 void cmd_context::reset_assertions() {
+    if (!m_global_decls) {
+        reset(false);
+        return;
+    }
+
     if (m_opt) {
         m_opt = 0;
     }