X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/7fc7124c05e03245515decbf6d54163d5990c2a6..9371d0958b1cb03eb1ad4ccc8d2ba04416b4fd28:/src/instr/instr_private.h

diff --git a/src/instr/instr_private.h b/src/instr/instr_private.h
index c8faa8511c..051fb32baa 100644
--- a/src/instr/instr_private.h
+++ b/src/instr/instr_private.h
@@ -187,6 +187,7 @@ void instr_destroy_platform (void);
 void instr_new_user_variable_type (const char *new_typename, const char *color);
 void instr_new_user_link_variable_type  (const char *new_typename, const char *color);
 void instr_new_user_host_variable_type  (const char *new_typename, const char *color);
+int instr_platform_traced (void);
 
 #endif /* HAVE_TRACING */
 #endif /* INSTR_PRIVATE_H_ */