From: Lucas Schnorr <Lucas.Schnorr@imag.fr>
Date: Thu, 14 Feb 2013 12:58:35 +0000 (+0100)
Subject: [trace] useless declaration
X-Git-Tag: v3_9_90~491^2~30^2~5
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/5310951700035057cb32577b5bbdda9d788b4352

[trace] useless declaration
---

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 */