From: Martin Quinson <martin.quinson@loria.fr>
Date: Sat, 16 Sep 2017 20:21:20 +0000 (+0200)
Subject: instr: kill a dead function
X-Git-Tag: v3_17~106
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/26de68319e3690dfd6537d61fd9b7dbb536ce140?hp=d012fa8a46e5c5768de197190c5f227d82c7d452

instr: kill a dead function
---

diff --git a/src/instr/instr_paje_types.cpp b/src/instr/instr_paje_types.cpp
index 2e765a0c79..e8b59fa77a 100644
--- a/src/instr/instr_paje_types.cpp
+++ b/src/instr/instr_paje_types.cpp
@@ -10,11 +10,6 @@ XBT_LOG_NEW_DEFAULT_SUBCATEGORY (instr_paje_types, instr, "Paje tracing event sy
 
 static simgrid::instr::Type* rootType = nullptr; /* the root type */
 
-void PJ_type_release ()
-{
-  rootType = nullptr;
-}
-
 simgrid::instr::Type* PJ_type_get_root()
 {
   return rootType;
diff --git a/src/instr/instr_private.h b/src/instr/instr_private.h
index a9e58f6953..1043a213c5 100644
--- a/src/instr/instr_private.h
+++ b/src/instr/instr_private.h
@@ -336,7 +336,6 @@ XBT_PUBLIC(void) PJ_container_free_all (void);
 XBT_PUBLIC(void) PJ_container_remove_from_parent (container_t container);
 
 /* instr_paje_types.c */
-XBT_PRIVATE void PJ_type_release ();
 XBT_PUBLIC(simgrid::instr::Type*) PJ_type_get_root();
 
 /* instr_config.c */