model-checker : fix get_local_variables

[simgrid.git] / src / xbt_modinter.h

diff --git a/src/xbt_modinter.h b/src/xbt_modinter.h
index 9e0892f..8e86bf8 100644 (file)
--- a/src/xbt_modinter.h
+++ b/src/xbt_modinter.h
@@ -26,11 +26,6 @@ void xbt_dict_postexit(void);
 void xbt_os_thread_mod_preinit(void);
 void xbt_os_thread_mod_postexit(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);