Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : remove unused argument in functions for heap comparison algorithm
[simgrid.git] / src / xbt_modinter.h
index 425a010..9e0892f 100644 (file)
@@ -20,13 +20,19 @@ void xbt_log_postexit(void);
 
 void xbt_fifo_preinit(void);
 void xbt_fifo_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 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);
 
 
-#endif /* XBT_MODINTER_H */
+#endif                          /* XBT_MODINTER_H */