From 6febe21ad8ce47f9132fada932c7a87f2211a51e Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@loria.fr>
Date: Thu, 1 Sep 2016 18:28:41 +0200
Subject: [PATCH] add a missing 'override' to please paranoid compilers

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

diff --git a/src/surf/virtual_machine.hpp b/src/surf/virtual_machine.hpp
index d3aee1a19d..efc20f5ecc 100644
--- a/src/surf/virtual_machine.hpp
+++ b/src/surf/virtual_machine.hpp
@@ -118,7 +118,7 @@ public:
   void adjustWeightOfDummyCpuActions() {};
 
   double next_occuring_event(double now) override;
-  void updateActionsState(double /*now*/, double /*delta*/) {};
+  void updateActionsState(double /*now*/, double /*delta*/) override {};
 
 };
 
-- 
2.20.1