1 files changed, 8 insertions, 0 deletions
diff --git a/src/smt/smt_engine.h b/src/smt/smt_engine.h
index 36cb8746c..4836b282e 100644
--- a/src/smt/smt_engine.h
+++ b/src/smt/smt_engine.h
@@ -146,6 +146,14 @@ private:
   // smt_engine.cpp.
 
   /**
+   * This is called by the destructor, just before destroying the
+   * PropEngine, TheoryEngine, and DecisionEngine (in that order).  It
+   * is important because there are destruction ordering issues
+   * between PropEngine and Theory.
+   */
+  void shutdown();
+
+  /**
    * Full check of consistency in current context.  Returns true iff
    * consistent.
    */