try to please sonar and avoid protected fields

[simgrid.git] / include / simgrid / instr.h

diff --git a/include/simgrid/instr.h b/include/simgrid/instr.h
index 83186e9f83d8bd6852f917d4e961a5dc798c9919..80cb7355df4ce952733f16377a6715026d74d41d 100644 (file)
--- a/include/simgrid/instr.h
+++ b/include/simgrid/instr.h
@@ -77,8 +77,6 @@ XBT_PUBLIC(void) TRACE_host_pop_state (const char *host, const char *state);
 /* for creating graph configuration files for Viva by hand */
 XBT_PUBLIC(xbt_dynar_t) TRACE_get_node_types ();
 XBT_PUBLIC(xbt_dynar_t) TRACE_get_edge_types ();
-XBT_PUBLIC(void) TRACE_pause ();
-XBT_PUBLIC(void) TRACE_resume ();
 
 SG_END_DECL()