From d24f6738f58de48ac1fea23849f12285034f86c4 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Date: Wed, 20 Nov 2013 22:33:00 +0100
Subject: [PATCH] Destructor should be virtual.

---
 src/surf/surf_routing.hpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/surf/surf_routing.hpp b/src/surf/surf_routing.hpp
index d61d3fa88e..8f32c8b8e8 100644
--- a/src/surf/surf_routing.hpp
+++ b/src/surf/surf_routing.hpp
@@ -50,7 +50,7 @@ public:
   xbt_dynar_t p_linkUpDownList;
 
   As(){};
-  ~As(){};
+  virtual ~As(){};
 
   virtual void getRouteAndLatency(RoutingEdgePtr src, RoutingEdgePtr dst, sg_platf_route_cbarg_t into, double *latency)=0;
   virtual xbt_dynar_t getOneLinkRoutes()=0;
-- 
2.20.1