Clean-ups and fixes to compile with more warnings enabled and with g++.
[invirt/third/libt4.git] / config.h
index 895de1b..26a612d 100644 (file)
--- a/config.h
+++ b/config.h
@@ -7,7 +7,7 @@
 class config_view_change {
     public:
         virtual void commit_change(unsigned view_id) = 0;
-        virtual ~config_view_change() {}
+        virtual ~config_view_change();
 };
 
 class config : public paxos_change {