Fix mismatched free() / delete.

diff --git a/src/instr/instr_paje_types.cpp b/src/instr/instr_paje_types.cpp
index bfd53c4..8dd65cf 100644 (file)
--- a/src/instr/instr_paje_types.cpp
+++ b/src/instr/instr_paje_types.cpp
@@ -57,7 +57,7 @@ void PJ_type_free(simgrid::instr::Type* type)
   xbt_free(type->id_);
   xbt_free(type->color_);
   xbt_dict_free(&type->children_);
-  xbt_free (type);
+  delete type;
   type = nullptr;
 }