From 7407f1c17c13f27f874c03374f38e3317fbe2bde Mon Sep 17 00:00:00 2001
From: schnorr <schnorr@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Date: Mon, 13 Dec 2010 16:44:24 +0000
Subject: [PATCH] [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
---
 src/instr/instr_surf.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/instr/instr_surf.c b/src/instr/instr_surf.c
index b790425c3d..9dee8321c9 100644
--- 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,
-- 
2.20.1