model-checker : previous algorithm for heap comparison, used to compare the results...

[simgrid.git] / src / gras_modinter.h

diff --git a/src/gras_modinter.h b/src/gras_modinter.h
index e2b0b9f..cbc2621 100644 (file)
--- a/src/gras_modinter.h
+++ b/src/gras_modinter.h
@@ -18,10 +18,6 @@ void gras_msg_register(void);
 void gras_msg_init(void);
 void gras_msg_exit(void);
 void gras_trp_register(void);
-void gras_trp_init(void);
-void gras_trp_exit(void);
-void gras_datadesc_init(void);
-void gras_datadesc_exit(void);
 
 void gras_procdata_init(void);
 void gras_procdata_exit(void);