X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/93480031ad7a8c5b81c7a5ee3a5323d0cf5add32..34f6f432728b9a9882a6801da79aafa751553666:/src/instr/instr_private.h

diff --git a/src/instr/instr_private.h b/src/instr/instr_private.h
index c6960bcff8..ac2949dc05 100644
--- a/src/instr/instr_private.h
+++ b/src/instr/instr_private.h
@@ -159,6 +159,7 @@ int TRACE_msg_task_is_enabled(void);
 int TRACE_msg_process_is_enabled(void);
 int TRACE_buffer (void);
 int TRACE_onelink_only (void);
+int TRACE_disable_destroy (void);
 char *TRACE_get_filename(void);
 char *TRACE_get_triva_uncat_conf (void);
 char *TRACE_get_triva_cat_conf (void);