From 04ce1b25f3d7623c62cd5771cd8391d02da7e31a Mon Sep 17 00:00:00 2001
From: Igor Canadi <icanadi@fb.com>
Date: Sat, 13 Sep 2014 14:06:22 -0700
Subject: [PATCH] Fix #284

---
 db/write_controller.h | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/db/write_controller.h b/db/write_controller.h
index 4ed221df1..32e1d58f1 100644
--- a/db/write_controller.h
+++ b/db/write_controller.h
@@ -47,7 +47,7 @@ class WriteControllerToken {
  public:
   explicit WriteControllerToken(WriteController* controller)
       : controller_(controller) {}
-  virtual ~WriteControllerToken() = default;
+  virtual ~WriteControllerToken() {}
 
  protected:
   WriteController* controller_;
@@ -62,14 +62,14 @@ class StopWriteToken : public WriteControllerToken {
  public:
   explicit StopWriteToken(WriteController* controller)
       : WriteControllerToken(controller) {}
-  ~StopWriteToken();
+  virtual ~StopWriteToken();
 };
 
 class DelayWriteToken : public WriteControllerToken {
  public:
   DelayWriteToken(WriteController* controller, uint64_t delay_us)
       : WriteControllerToken(controller), delay_us_(delay_us) {}
-  ~DelayWriteToken();
+  virtual ~DelayWriteToken();
 
  private:
   uint64_t delay_us_;