Merge branch 'klement/simgrid-klement' into master

[simgrid.git] / src / instr / instr_paje_types.hpp

diff --git a/src/instr/instr_paje_types.hpp b/src/instr/instr_paje_types.hpp
index e23ddc2d68e72ab3b5f62d91451366fcdbd79a9b..b1f8befcd24303bf1e9cb4d6f90de0623d09e7c7 100644 (file)
--- a/src/instr/instr_paje_types.hpp
+++ b/src/instr/instr_paje_types.hpp
@@ -85,7 +85,7 @@ public:
       : Type(event_type, name, alias, "", father){};
   ValueType(e_event_type event_type, const std::string& name, Type* father)
       : Type(event_type, name, name, "", father){};
-  virtual ~ValueType() = default;
+  ~ValueType() override = default;
   void add_entity_value(const std::string& name, const std::string& color);
   void add_entity_value(const std::string& name);
   EntityValue* get_entity_value(const std::string& name);