From 227d213855e82c12ca37af72a03bc97127a07f8c Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Date: Thu, 24 May 2012 10:26:12 +0200
Subject: [PATCH] Remove unused variables.

---
 src/instr/instr_config.c | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/src/instr/instr_config.c b/src/instr/instr_config.c
index b948962e98..2916d578e4 100644
--- a/src/instr/instr_config.c
+++ b/src/instr/instr_config.c
@@ -461,9 +461,6 @@ void TRACE_generate_triva_cat_conf (void)
 {
   char *output = TRACE_get_triva_cat_conf();
   if (output && strlen(output) > 0){
-    xbt_dict_cursor_t cursor=NULL, cursor2=NULL;
-    char *name, *name2, *value, *value2;
-
     //check if we do have categories declared
     if (xbt_dict_is_empty(created_categories)){
       XBT_INFO("No categories declared, ignoring generation of triva graph configuration");
-- 
2.20.1