[trace] properly destroy the tracing platform

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9160 48e7efb5-ca39-0410-a469-dd3cf9ba447f

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,