Adding an virtual destructor to OstreamUpdate.

diff --git a/src/smt/update_ostream.h b/src/smt/update_ostream.h
index 9e0100786f89e2f93cc20cbe8de2e4cdfc08a143..c5f09a2a9b4fded9fc6e14a5893fb909a2eeaff1 100644 (file)
--- a/src/smt/update_ostream.h
+++ b/src/smt/update_ostream.h
@@ -57,6 +57,8 @@ class ChannelSettings {
 
 class OstreamUpdate {
 public:
+  virtual ~OstreamUpdate(){}
+
   virtual std::ostream& get() = 0;
   virtual void set(std::ostream* setTo) = 0;