X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/45d5c1bb8e65df9d0fbaa259ffeabdf49cf9fbe4..b75818ac32c18c4a2c6d5a28dd3da7f2ca19a5c1:/src/instr/instr_interface.c

diff --git a/src/instr/instr_interface.c b/src/instr/instr_interface.c
index 5fffd02af8..bd07bf9f49 100644
--- a/src/instr/instr_interface.c
+++ b/src/instr/instr_interface.c
@@ -991,12 +991,7 @@ xbt_dynar_t TRACE_get_edge_types (void)
  */
 void TRACE_pause (void)
 {
-  if (!TRACE_is_enabled()){
-    XBT_DEBUG ("Tracing is already paused, therefore do nothing.");
-  }else{
-    XBT_DEBUG ("Tracing is being paused.");
-    instr_pause_tracing();
-  }
+  instr_pause_tracing();
 }
 
 /** \ingroup TRACE_API
@@ -1005,12 +1000,7 @@ void TRACE_pause (void)
  */
 void TRACE_resume (void)
 {
-  if (TRACE_is_enabled()){
-    XBT_DEBUG ("Tracing is already running while trying to resume, therefore do nothing.");
-  }else{
-    XBT_DEBUG ("Tracing is being resumed.");
-    instr_resume_tracing();
-  }
+  instr_resume_tracing();
 }
 
 #endif /* HAVE_TRACING */