From 76d868f42e7824432bff8778aaf4d63e6d01a941 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Date: Tue, 8 Apr 2014 14:31:10 +0200
Subject: [PATCH 1/1] No need to have this variable global.

---
 src/simix/smx_global.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/simix/smx_global.c b/src/simix/smx_global.c
index a169f8d9e6..fffa264b77 100644
--- a/src/simix/smx_global.c
+++ b/src/simix/smx_global.c
@@ -191,9 +191,9 @@ void SIMIX_global_init(int *argc, char **argv)
  *
  * This functions remove the memory used by SIMIX
  */
-int cleaned = 0;
 void SIMIX_clean(void)
 {
+  static int cleaned = 0;
 #ifdef TIME_BENCH_PER_SR
   smx_ctx_raw_new_sr();
 #endif
-- 
2.20.1