From fdf54308bb96949e5bfadce87f2c3b394d2f77b8 Mon Sep 17 00:00:00 2001
From: Frederic Suter <frederic.suter@cc.in2p3.fr>
Date: Thu, 23 Nov 2017 19:05:05 +0100
Subject: [PATCH] delete extension on destruction

---
 src/s4u/s4u_file.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/s4u/s4u_file.cpp b/src/s4u/s4u_file.cpp
index cd89f9918f..a78e0f93b1 100644
--- 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 *************************** */
-- 
2.20.1