From 0b0ce8f8932710dcc7de9cfee4ae8a0f93eb4310 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Fri, 23 Mar 2018 15:20:13 +0100
Subject: [PATCH 1/1] Kill unused function.

---
 src/instr/instr_config.cpp | 16 ----------------
 1 file changed, 16 deletions(-)

diff --git a/src/instr/instr_config.cpp b/src/instr/instr_config.cpp
index d449cc70a5..fb4d44d80b 100644
--- a/src/instr/instr_config.cpp
+++ b/src/instr/instr_config.cpp
@@ -411,19 +411,3 @@ void TRACE_help (int detailed)
         "  time consuming, since it must get the route from each host to other hosts\n"
         "  within the same Autonomous System (AS).", detailed);
 }
-
-static void output_types (const char *name, xbt_dynar_t types, FILE *file)
-{
-  unsigned int i;
-  fprintf (file, "  %s = (", name);
-  for (i = xbt_dynar_length(types); i > 0; i--) {
-    char *type = *(static_cast<char**>(xbt_dynar_get_ptr(types, i - 1)));
-    fprintf (file, "\"%s\"", type);
-    if (i - 1 > 0){
-      fprintf (file, ",");
-    }else{
-      fprintf (file, ");\n");
-    }
-  }
-  xbt_dynar_free (&types);
-}
-- 
2.20.1