From e916584e17cab9dba0ada7f85d50f3532be1bfc9 Mon Sep 17 00:00:00 2001
From: Juan Hernando <jhernando@fi.upm.es>
Date: Wed, 17 Feb 2016 13:15:09 +0100
Subject: [PATCH] Missing virtual destructors.

---
 .gitignore         | 2 ++
 src/music/event.hh | 2 ++
 2 files changed, 4 insertions(+)

diff --git a/.gitignore b/.gitignore
index 4a07a1b..e7084ad 100644
--- a/.gitignore
+++ b/.gitignore
@@ -9,6 +9,8 @@ Makefile.in
 config.guess
 config.h.in
 config.h
+config.log
+config.status
 config.sub
 
 Makefile
diff --git a/src/music/event.hh b/src/music/event.hh
index 4c8dde3..464d885 100644
--- a/src/music/event.hh
+++ b/src/music/event.hh
@@ -32,6 +32,7 @@ namespace MUSIC {
 
   class EventHandlerGlobalIndex {
   public:
+    virtual ~EventHandlerGlobalIndex() { }
     virtual void operator () (double t, GlobalIndex id) = 0;
   };
   
@@ -55,6 +56,7 @@ namespace MUSIC {
   
   class EventHandlerLocalIndex {
   public:
+    virtual ~EventHandlerLocalIndex() { }
     virtual void operator () (double t, LocalIndex id) = 0;
   };
 
-- 
GitLab