Use std::string for Synchro instead of char*

[simgrid.git] / src / simix / Synchro.cpp

diff --git a/src/simix/Synchro.cpp b/src/simix/Synchro.cpp
index 9d94aba..db8d8d6 100644 (file)
--- a/src/simix/Synchro.cpp
+++ b/src/simix/Synchro.cpp
@@ -9,9 +9,9 @@ simgrid::simix::Synchro::Synchro() {
   simcalls = xbt_fifo_new();
 }
 
-simgrid::simix::Synchro::~Synchro() {
+simgrid::simix::Synchro::~Synchro()
+{
   xbt_fifo_free(simcalls);
-  xbt_free(name);
 }
 
 void simgrid::simix::Synchro::ref()