Kill unused function instr_platform_traced().

[simgrid.git] / src / include / surf / surf.hpp

diff --git a/src/include/surf/surf.hpp b/src/include/surf/surf.hpp
index ea0fdb2..4cd73e2 100644 (file)
--- a/src/include/surf/surf.hpp
+++ b/src/include/surf/surf.hpp
@@ -391,7 +391,6 @@ XBT_PUBLIC(void) parse_platform_file(const char* file);
 
 /* instr_routing.c */
 void instr_routing_define_callbacks();
-int instr_platform_traced();
 xbt_graph_t instr_routing_platform_graph();
 void instr_routing_platform_graph_export_graphviz(xbt_graph_t g, const char* filename);