1 files changed, 1 insertions, 0 deletions
diff --git a/src/printer/printer.h b/src/printer/printer.h
index e0b80ddfc..fcc0df93c 100644
--- a/src/printer/printer.h
+++ b/src/printer/printer.h
@@ -44,6 +44,7 @@ class Printer {
 protected:
   // derived classes can construct, but no one else.
   Printer() throw() {}
+  virtual ~Printer() {}
 
   /** write model response to command */
   virtual void toStream(std::ostream& out, const Model& m, const Command* c) const throw() = 0;