1 files changed, 0 insertions, 16 deletions
diff --git a/src/theory/output_channel.h b/src/theory/output_channel.h
index c530434f5..cec499a13 100644
--- a/src/theory/output_channel.h
+++ b/src/theory/output_channel.h
@@ -28,14 +28,6 @@ class OutputChannel {
 public:
 
   /**
-   * Destructs an OutputChannel.  This implementation does nothing,
-   * but we need a virtual destructor for safety in case subclasses
-   * have a destructor.
-   */
-  virtual ~OutputChannel() {
-  }
-
-  /**
    * With safePoint(), the theory signals that it is at a safe point
    * and can be interrupted.
    */
@@ -76,14 +68,6 @@ class ExplainOutputChannel {
 public:
 
   /**
-   * Destructs an ExplainOutputChannel.  This implementation does
-   * nothing, but we need a virtual destructor for safety in case
-   * subclasses have a destructor.
-   */
-  virtual ~ExplainOutputChannel() {
-  }
-
-  /**
    * With safePoint(), the theory signals that it is at a safe point
    * and can be interrupted.  The default implementation never
    * interrupts.