--- linuxsampler/trunk/src/engines/gig/InstrumentResourceManager.cpp	2016/10/30 17:02:51	3033
+++ linuxsampler/trunk/src/engines/gig/InstrumentResourceManager.cpp	2016/10/31 00:05:00	3034
@@ -41,6 +41,8 @@
     // we use this to react on events concerning an instrument on behalf of an instrument editor
     class InstrumentEditorProxy : public InstrumentConsumer {
     public:
+        virtual ~InstrumentEditorProxy() {}
+
         virtual void ResourceToBeUpdated(::gig::Instrument* pResource, void*& pUpdateArg) {
             //TODO: inform the instrument editor about the pending update
         }