Revert "Argh stupid me! This fixes commit 4fff3fb509f60c96745fb5d3e1be1bd824185366...

This reverts commit 28937161936e11ceac5acccf0b547055cc67a79e.

diff --git a/src/xbt/xbt_main.c b/src/xbt/xbt_main.c
index 37c22c7..59b050c 100644 (file)
--- 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)