From 5310951700035057cb32577b5bbdda9d788b4352 Mon Sep 17 00:00:00 2001
From: Lucas Schnorr <Lucas.Schnorr@imag.fr>
Date: Thu, 14 Feb 2013 13:58:35 +0100
Subject: [PATCH] [trace] useless declaration

---
 src/surf/instr_routing.c | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/surf/instr_routing.c b/src/surf/instr_routing.c
index 285a03b1bd..3e2c81c714 100644
--- a/src/surf/instr_routing.c
+++ b/src/surf/instr_routing.c
@@ -14,8 +14,6 @@
 
 XBT_LOG_NEW_DEFAULT_SUBCATEGORY (instr_routing, instr, "Tracing platform hierarchy");
 
-extern xbt_dict_t defined_types; /* from instr_interface.c */
-
 static int platform_created = 0;            /* indicate whether the platform file has been traced */
 static xbt_dynar_t currentContainer = NULL; /* push and pop, used only in creation */
 
-- 
2.20.1