delete comment

diff --git a/src/instr/instr_paje_types.cpp b/src/instr/instr_paje_types.cpp
index 551e5c4..c5dc7fe 100644 (file)
--- a/src/instr/instr_paje_types.cpp
+++ b/src/instr/instr_paje_types.cpp
@@ -56,7 +56,6 @@ void PJ_type_free (type_t type)
      xbt_free(value->color);
      xbt_free(value->id);
      xbt_free(value);
-    //PJ_value_free (value);
   }
   xbt_dict_free (&type->values);
   xbt_free (type->name);