diff --git a/include/dynamic-graph/time-dependency.h b/include/dynamic-graph/time-dependency.h index 836643a9ffbc85a0e2207c4324853d47df26f3b0..29e80f28a62daf730a3c4bdb2cf400b14d563e9c 100644 --- a/include/dynamic-graph/time-dependency.h +++ b/include/dynamic-graph/time-dependency.h @@ -65,7 +65,7 @@ namespace dynamicgraph TimeDependency( SignalBase<Time>* sig, const SignalArray_const<Time>& arr, const DependencyType dep = DEPENDENCY_TYPE_DEFAULT ); - ~TimeDependency () {} + virtual ~TimeDependency () {} void addDependency( const SignalBase<Time>& sig ); void removeDependency( const SignalBase<Time>& sig );