X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/e709643ef0c5b61c6c878016c418bffa2b1b20cd..3a1ea70a418f393ca1677074e928c664022295bd:/src/instr/instr_paje_types.hpp diff --git a/src/instr/instr_paje_types.hpp b/src/instr/instr_paje_types.hpp index e23ddc2d68..b1f8befcd2 100644 --- 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);