From d32b47299f43f73b82c5fdbb791a17e19d17e0e0 Mon Sep 17 00:00:00 2001
From: Augustin Degomme <degomme@idpann.imag.fr>
Date: Thu, 29 Aug 2013 14:47:10 +0200
Subject: [PATCH] Revert "Argh stupid me! This fixes commit
 4fff3fb509f60c96745fb5d3e1be1bd824185366. Thanks Mt!"

This reverts commit 28937161936e11ceac5acccf0b547055cc67a79e.
---
 src/xbt/xbt_main.c | 1 -
 1 file changed, 1 deletion(-)

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