1 files changed, 8 insertions, 0 deletions
diff --git a/src/prop/cnf_stream.h b/src/prop/cnf_stream.h
index 1bb71860c..d7bb3c265 100644
--- a/src/prop/cnf_stream.h
+++ b/src/prop/cnf_stream.h
@@ -116,6 +116,14 @@ public:
   CnfStream(SatSolver* satSolver);
 
   /**
+   * Destructs a CnfStream.  This implementation does nothing, but we
+   * need a virtual destructor for safety in case subclasses have a
+   * destructor.
+   */
+  virtual ~CnfStream() {
+  }
+
+  /**
    * Converts and asserts a formula.
    * @param node node to convert and assert
    * @param whether the sat solver can choose to remove this clause