/* 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
XBT_PRIVATE std::string TRACE_get_filename();
+/* instr_platform */
+xbt_graph_t instr_routing_platform_graph();
+void instr_routing_platform_graph_export_graphviz(xbt_graph_t g, const char* filename);
+
#endif