properties are now stored in maps and managed by ProperyHolder

[simgrid.git] / src / surf / surf_interface.cpp

diff --git a/src/surf/surf_interface.cpp b/src/surf/surf_interface.cpp
index b13c5ab..7973e5e 100644 (file)
--- a/src/surf/surf_interface.cpp
+++ b/src/surf/surf_interface.cpp
@@ -369,7 +369,7 @@ void surf_exit()
   sg_link_exit();
   for (auto e : storage_types) {
     simgrid::surf::StorageType* stype = e.second;
-    xbt_dict_free(&(stype->properties));
+    delete stype->properties;
     delete stype->model_properties;
     delete stype;
   }