Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

[simgrid.git] / src / surf / AsFull.hpp

diff --git a/src/surf/AsFull.hpp b/src/surf/AsFull.hpp
index a9fd274d1998b0d3d4e4c1957d67183e4ff77e34..fdf757f321dafbfa28c88b811df0e67588cdc879 100644 (file)
--- a/src/surf/AsFull.hpp
+++ b/src/surf/AsFull.hpp
@@ -17,7 +17,7 @@ public:
 
   explicit AsFull(const char*name);
   void seal() override;
-  ~AsFull();
+  ~AsFull() override;
 
   void getRouteAndLatency(NetCard *src, NetCard *dst, sg_platf_route_cbarg_t into, double *latency) override;
   void addRoute(sg_platf_route_cbarg_t route) override;