diff --git a/libs/pbd/pbd/property_basics.h b/libs/pbd/pbd/property_basics.h index 9661180e21..5e94abdfc3 100644 --- a/libs/pbd/pbd/property_basics.h +++ b/libs/pbd/pbd/property_basics.h @@ -82,6 +82,8 @@ public: : _property_id (pid) {} + virtual ~PropertyBase () {} + /** Forget about any old value for this state */ virtual void clear_history () = 0;