1 files changed, 2 insertions, 0 deletions
diff --git a/src/util/lemma_output_channel.h b/src/util/lemma_output_channel.h
index 8b37fe0da..47ba7c346 100644
--- a/src/util/lemma_output_channel.h
+++ b/src/util/lemma_output_channel.h
@@ -32,6 +32,8 @@ namespace CVC4 {
  */
 class CVC4_PUBLIC LemmaOutputChannel {
 public:
+  virtual ~LemmaOutputChannel() throw() { }
+
   /**
    * Notifies this output channel that there's a new lemma.
    * The lemma may or may not be in CNF.