From f173733995681c8fb284c4fb2d5e24e3bf251532 Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@loria.fr>
Date: Thu, 1 Sep 2016 19:00:11 +0200
Subject: [PATCH] yet another missing 'override' keyword

---
 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 efc20f5ecc..47ad8c5881 100644
--- a/src/surf/virtual_machine.hpp
+++ b/src/surf/virtual_machine.hpp
@@ -115,7 +115,7 @@ public:
    * @param host_PM The real machine hosting the VM
    */
   s4u::Host *createVM(const char *name, sg_host_t host_PM);
-  void adjustWeightOfDummyCpuActions() {};
+  void adjustWeightOfDummyCpuActions() override {};
 
   double next_occuring_event(double now) override;
   void updateActionsState(double /*now*/, double /*delta*/) override {};
-- 
2.20.1