model-checker : move functions about snapshot comparison in a separate file mc_compare.c

[simgrid.git] / src / xbt_modinter.h

diff --git a/src/xbt_modinter.h b/src/xbt_modinter.h
index 491c1db..9e0892f 100644 (file)
--- a/src/xbt_modinter.h
+++ b/src/xbt_modinter.h
@@ -26,7 +26,12 @@ void xbt_dict_postexit(void);
 void xbt_os_thread_mod_preinit(void);
 void xbt_os_thread_mod_postexit(void);
 
-void mmalloc_preinit(void);
+void xbt_trp_preinit(void);
+void xbt_trp_postexit(void);
+void xbt_datadesc_preinit(void);
+void xbt_datadesc_postexit(void);
+
+void *mmalloc_preinit(void);
 void mmalloc_postexit(void);