delete extension on destruction

diff --git a/src/s4u/s4u_file.cpp b/src/s4u/s4u_file.cpp
index cd89f99..a78e0f9 100644 (file)
--- a/src/s4u/s4u_file.cpp
+++ b/src/s4u/s4u_file.cpp
@@ -210,7 +210,7 @@ static void onStorageCreation(simgrid::s4u::Storage& st)
 
 static void onStorageDestruction(simgrid::s4u::Storage& st)
 {
-  XBT_INFO("BLIH");
+  delete st.extension<FileSystemStorageExt>();
 }
 
 /* **************************** Public interface *************************** */