/* surf parse file related (public because called from a test suite) */
XBT_PUBLIC void parse_platform_file(const char* file);
-/********** Tracing **********/
-
-/* instr_routing.c */
-xbt_graph_t instr_routing_platform_graph();
-void instr_routing_platform_graph_export_graphviz(xbt_graph_t g, const char* filename);
-
#endif