From 7d935ba2c9d32674b018ce0b0d1a2e48ac878fbf Mon Sep 17 00:00:00 2001
From: Florent Lamiraux <florent@laas.fr>
Date: Wed, 7 Dec 2011 15:16:31 +0100
Subject: [PATCH] Make destructor of TimeDependency virtual.

---
 include/dynamic-graph/time-dependency.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/include/dynamic-graph/time-dependency.h b/include/dynamic-graph/time-dependency.h
index 836643a9..29e80f28 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 );
-- 
GitLab