X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/b3b356352e87ae00a20f737c48e19b0c8413455a..c46aba70aa4ccf22cc19fac31d451c7158e922dd:/src/xbt_modinter.h

diff --git a/src/xbt_modinter.h b/src/xbt_modinter.h
index 6a8ea1d693..4d9dfd72c6 100644
--- a/src/xbt_modinter.h
+++ b/src/xbt_modinter.h
@@ -31,6 +31,10 @@ void xbt_os_thread_mod_postexit(void);
 void *mmalloc_preinit(void);
 void mmalloc_postexit(void);
 
+extern int smx_cleaned;
+extern int xbt_initialized;
+
+
 SG_END_DECL()
 
 #endif                          /* XBT_MODINTER_H */