undoing improperly-committed revision 232; will re-commit to get "svn blame" correct, etc..

2 files changed, 1 insertions, 25 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.
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,