[trace] properly destroy the tracing platform

[simgrid.git] / src / instr / instr_surf.c

diff --git a/src/instr/instr_surf.c b/src/instr/instr_surf.c
index b790425..9dee832 100644 (file)
--- a/src/instr/instr_surf.c
+++ b/src/instr/instr_surf.c
@@ -29,6 +29,7 @@ void TRACE_surf_alloc(void)
 void TRACE_surf_release(void)
 {
   TRACE_surf_resource_utilization_release();
+  instr_destroy_platform();
 }
 
 static void TRACE_surf_set_resource_variable(double date,