1 files changed, 1 insertions, 9 deletions
diff --git a/src/theory/theory.h b/src/theory/theory.h
index dffc99053..8b83f71cf 100644
--- a/src/theory/theory.h
+++ b/src/theory/theory.h
@@ -58,20 +58,12 @@ 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,