From 6ea35cde2df4a01c2ce5c41b62a43e741c80acc1 Mon Sep 17 00:00:00 2001
From: Tim King <taking@google.com>
Date: Mon, 1 Feb 2016 11:12:10 -0800
Subject: [PATCH] Adding an virtual destructor to OstreamUpdate.

---
 src/smt/update_ostream.h | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/smt/update_ostream.h b/src/smt/update_ostream.h
index 9e0100786..c5f09a2a9 100644
--- 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;
 
-- 
2.30.2