Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

[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 0eaefe2..84152ec 100644 (file)
--- a/src/instr/instr_paje_values.cpp
+++ b/src/instr/instr_paje_values.cpp
@@ -29,6 +29,15 @@ value::value(const char* name, const char* color, type_t father)
   LogEntityValue(this->ret);
 };
 
+value::~value()
+{
+  /* FIXME: this should be cleanable
+  xbt_free(name);
+  xbt_free(color);
+  xbt_free(id);
+  */
+}
+
 value* value::get_or_new(const char* name, const char* color, type_t father)
 {
   value* ret = 0;