From 28937161936e11ceac5acccf0b547055cc67a79e Mon Sep 17 00:00:00 2001
From: Arnaud Legrand <arnaud.legrand@imag.fr>
Date: Thu, 22 Aug 2013 14:05:21 +0200
Subject: [PATCH] Argh stupid me! This fixes commit
 4fff3fb509f60c96745fb5d3e1be1bd824185366. Thanks Mt!

---
 src/xbt/xbt_main.c | 1 +
 1 file changed, 1 insertion(+)

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)
-- 
2.20.1