From a5c7a8dabf7b5027668d20f1103446e5649b53de Mon Sep 17 00:00:00 2001
From: agiersch <agiersch@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Date: Fri, 11 Feb 2011 17:00:47 +0000
Subject: [PATCH] Free mallocator for SIMIX actions on exit.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9607 48e7efb5-ca39-0410-a469-dd3cf9ba447f
---
 src/simix/smx_global.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/simix/smx_global.c b/src/simix/smx_global.c
index bcada4d2a5..622d116b9b 100644
--- a/src/simix/smx_global.c
+++ b/src/simix/smx_global.c
@@ -150,6 +150,7 @@ void SIMIX_clean(void)
 
   surf_exit();
 
+  xbt_mallocator_free(simix_global->action_mallocator);
   xbt_free(simix_global);
   simix_global = NULL;
 
-- 
2.20.1