Fix process_killall. Closes #186.

[simgrid.git] / src / instr / instr_paje_values.cpp

diff --git a/src/instr/instr_paje_values.cpp b/src/instr/instr_paje_values.cpp
index adefdcc..a0b4a1a 100644 (file)
--- a/src/instr/instr_paje_values.cpp
+++ b/src/instr/instr_paje_values.cpp
@@ -28,11 +28,9 @@ simgrid::instr::Value::Value(const char* name, const char* color, simgrid::instr
 
 simgrid::instr::Value::~Value()
 {
-  /* FIXME: this should be cleanable
-  xbt_free(name);
-  xbt_free(color);
-  xbt_free(id);
-  */
+  xbt_free(name_);
+  xbt_free(color_);
+  xbt_free(id_);
 }
 
 simgrid::instr::Value* simgrid::instr::Value::get_or_new(const char* name, const char* color,