From: Arnaud Legrand <arnaud.legrand@imag.fr>
Date: Thu, 22 Aug 2013 12:05:21 +0000 (+0200)
Subject: Argh stupid me! This fixes commit 4fff3fb509f60c96745fb5d3e1be1bd824185366. Thanks Mt!
X-Git-Tag: v3_9_90~123^2~37
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/28937161936e11ceac5acccf0b547055cc67a79e?ds=sidebyside

Argh stupid me! This fixes commit 4fff3fb509f60c96745fb5d3e1be1bd824185366. Thanks Mt!
---

diff --git a/src/xbt/xbt_main.c b/src/xbt/xbt_main.c
index 59b050c2a2..37c22c7b17 100644
--- a/src/xbt/xbt_main.c
+++ b/src/xbt/xbt_main.c
@@ -92,6 +92,7 @@ static void xbt_preinit(void) {
   srand(seed);
   srand48(seed);
 
+  atexit(xbt_postexit);
 }
 
 static void xbt_postexit(void)