From b9ee19619702cc8328ea6127b880cf1d86465953 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Tue, 2 May 2023 16:22:02 +0200
Subject: [PATCH] Missing "override".

---
 include/simgrid/plugins/operation.hpp | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/include/simgrid/plugins/operation.hpp b/include/simgrid/plugins/operation.hpp
index bf6a4ed057..acd7dddba1 100644
--- a/include/simgrid/plugins/operation.hpp
+++ b/include/simgrid/plugins/operation.hpp
@@ -78,7 +78,7 @@ private:
   simgrid::s4u::Host* host_;
 
   ExecOp(const std::string& name);
-  void execute();
+  void execute() override;
 
 public:
   static ExecOpPtr init(const std::string& name);
@@ -93,7 +93,7 @@ private:
   simgrid::s4u::Host* destination_;
 
   CommOp(const std::string& name);
-  void execute();
+  void execute() override;
 
 public:
   static CommOpPtr init(const std::string& name);
@@ -104,4 +104,4 @@ public:
   void set_bytes(double bytes);
 };
 } // namespace simgrid::plugins
-#endif
\ No newline at end of file
+#endif
-- 
2.20.1