[mc] Move the stack as field of SafetyChecker and CommDetChecker

[simgrid.git] / src / xbt_modinter.h

diff --git a/src/xbt_modinter.h b/src/xbt_modinter.h
index 6a8ea1d..988f5f4 100644 (file)
--- a/src/xbt_modinter.h
+++ b/src/xbt_modinter.h
@@ -31,6 +31,8 @@ void xbt_os_thread_mod_postexit(void);
 void *mmalloc_preinit(void);
 void mmalloc_postexit(void);
 
-SG_END_DECL()
+extern int smx_cleaned;
+extern int xbt_initialized;
 
+SG_END_DECL()
 #endif                          /* XBT_MODINTER_H */