1 files changed, 9 insertions, 1 deletions
diff --git a/src/theory/theory.h b/src/theory/theory.h
index 8b83f71cf..dffc99053 100644
--- a/src/theory/theory.h
+++ b/src/theory/theory.h
@@ -58,12 +58,20 @@ public:
   static bool fullEffort(Effort e)           { return e >= FULL_EFFORT; }
 
   /**
-   * Construct a theory.
+   * Construct a Theory.
    */
   Theory() {
   }
 
   /**
+   * Destructs a Theory.  This implementation does nothing, but we
+   * need a virtual destructor for safety in case subclasses have a
+   * destructor.
+   */
+  virtual ~Theory() {
+  }
+
+  /**
    * Prepare for a Node.
    *
    * When get() is called to get the next thing off the theory queue,