clang ... override ... again

diff --git a/src/kernel/resource/DiskImpl.hpp b/src/kernel/resource/DiskImpl.hpp
index c2ebe51..8418916 100644 (file)
--- a/src/kernel/resource/DiskImpl.hpp
+++ b/src/kernel/resource/DiskImpl.hpp
@@ -90,7 +90,7 @@ public:
   void turn_on() override;
   void turn_off() override;
 
-  void seal();
+  void seal() override;
   void destroy(); // Must be called instead of the destructor
   virtual DiskAction* io_start(sg_size_t size, s4u::Io::OpType type) = 0;
   virtual DiskAction* read(sg_size_t size)                           = 0;

diff --git a/src/surf/cpu_interface.hpp b/src/surf/cpu_interface.hpp
index b71f146..0f3d94f 100644 (file)
--- a/src/surf/cpu_interface.hpp
+++ b/src/surf/cpu_interface.hpp
@@ -75,7 +75,7 @@ public:
   Cpu* set_core_count(int core_count);
   virtual int get_core_count();
 
-  void seal();
+  void seal() override;
 
   /** @brief Get a forecast of the speed (in flops/s) if the load were as provided.
    *

diff --git a/src/surf/network_interface.hpp b/src/surf/network_interface.hpp
index 3c749be..573b993 100644 (file)
--- a/src/surf/network_interface.hpp
+++ b/src/surf/network_interface.hpp
@@ -145,7 +145,7 @@ public:
   void turn_on() override;
   void turn_off() override;
 
-  void seal();
+  void seal() override;
 
   void on_bandwidth_change() const;