diff --git a/.gitignore b/.gitignore
index 4a07a1b46da8abf8ebbd204d3ca42e4cdb5f5db4..e7084ad55dc224b3f2a1bc7667dfbd9002b56c8f 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 4c8dde3f626cb21fd37f22b2b027130d8e6154a5..464d885eaab57c97e67458d9d9972f8d8934502d 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;
};