Fix 'on_exit' preservation which failed when auto_restart was set first (FG#11).

[simgrid.git] / src / xbt_modinter.h

diff --git a/src/xbt_modinter.h b/src/xbt_modinter.h
index 6dcb2241715a6c6217c1581d6589a5ede37a75fe..0b5b85556a4fd901e1ed13c2f14743e772c5bb1c 100644 (file)
--- a/src/xbt_modinter.h
+++ b/src/xbt_modinter.h
@@ -19,9 +19,6 @@ void xbt_log_postexit(void);
 void xbt_dict_preinit(void);
 void xbt_dict_postexit(void);
 
-void xbt_os_thread_mod_preinit(void);
-void xbt_os_thread_mod_postexit(void);
-
 void *mmalloc_preinit(void);
 void mmalloc_postexit(void);