instr: kill a dead function

diff --git a/src/instr/instr_paje_types.cpp b/src/instr/instr_paje_types.cpp
index 2e765a0..e8b59fa 100644 (file)
--- 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 */
 
 
 static simgrid::instr::Type* rootType = nullptr; /* the root type */
 

-void PJ_type_release ()
-{
-  rootType = nullptr;
-}
-

 simgrid::instr::Type* PJ_type_get_root()
 {
   return rootType;
 simgrid::instr::Type* PJ_type_get_root()
 {
   return rootType;

diff --git a/src/instr/instr_private.h b/src/instr/instr_private.h
index a9e58f6..1043a21 100644 (file)
--- 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_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 */
 XBT_PUBLIC(simgrid::instr::Type*) PJ_type_get_root();
 
 /* instr_config.c */