From 81953284938d59f29f3ddd1ff09672a8c22e9106 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Mon, 12 Feb 2018 22:44:59 +0100
Subject: [PATCH] Kill unused private functions instr_{pause,resume}_tracing().

---
 src/instr/instr_config.cpp  | 31 -------------------------------
 src/instr/instr_private.hpp |  2 --
 2 files changed, 33 deletions(-)

diff --git a/src/instr/instr_config.cpp b/src/instr/instr_config.cpp
index 97608c670d..bcccadcb36 100644
--- a/src/instr/instr_config.cpp
+++ b/src/instr/instr_config.cpp
@@ -428,34 +428,3 @@ static void output_types (const char *name, xbt_dynar_t types, FILE *file)
   }
   xbt_dynar_free (&types);
 }
-
-static int previous_trace_state = -1;
-
-void instr_pause_tracing ()
-{
-  previous_trace_state = trace_enabled;
-  if (not TRACE_is_enabled()) {
-    XBT_DEBUG ("Tracing is already paused, therefore do nothing.");
-  }else{
-    XBT_DEBUG ("Tracing is being paused.");
-  }
-  trace_enabled = false;
-  XBT_DEBUG ("Tracing is paused.");
-}
-
-void instr_resume_tracing ()
-{
-  if (TRACE_is_enabled()){
-    XBT_DEBUG ("Tracing is already running while trying to resume, therefore do nothing.");
-  }else{
-    XBT_DEBUG ("Tracing is being resumed.");
-  }
-
-  if (previous_trace_state != -1){
-    trace_enabled = previous_trace_state;
-  }else{
-    trace_enabled = true;
-  }
-  XBT_DEBUG ("Tracing is resumed.");
-  previous_trace_state = -1;
-}
diff --git a/src/instr/instr_private.hpp b/src/instr/instr_private.hpp
index 1aa6fb9fdf..75690784bf 100644
--- a/src/instr/instr_private.hpp
+++ b/src/instr/instr_private.hpp
@@ -211,8 +211,6 @@ XBT_PRIVATE bool TRACE_disable_destroy();
 XBT_PRIVATE bool TRACE_basic();
 XBT_PRIVATE bool TRACE_display_sizes();
 XBT_PRIVATE int TRACE_precision();
-XBT_PRIVATE void instr_pause_tracing();
-XBT_PRIVATE void instr_resume_tracing();
 
 /* Public functions used in SMPI */
 XBT_PUBLIC(bool) TRACE_smpi_is_enabled();
-- 
2.20.1