X-Git-Url: http://xvm.mit.edu/gitweb/invirt/third/libt4.git/blobdiff_plain/f0dcb6b97d6d40f67698d1f71ac26970f1776f82..ebd5aef6dc92accb509b1cc67eaf72159f35cdfa:/config.h?ds=inline

diff --git a/config.h b/config.h
index 895de1b..26a612d 100644
--- 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 {