From 7115ff6e0ac0567b771df4abe043631ffab8cf74 Mon Sep 17 00:00:00 2001
From: schnorr <Lucas.Schnorr@imag.fr>
Date: Thu, 5 Apr 2012 16:55:33 +0200
Subject: [PATCH] [trace] bugfix

---
 src/instr/instr_interface.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/instr/instr_interface.c b/src/instr/instr_interface.c
index 3d582d8c73..caa55d90b5 100644
--- a/src/instr/instr_interface.c
+++ b/src/instr/instr_interface.c
@@ -240,7 +240,7 @@ static void instr_user_variable(double time,
   if (!TRACE_needs_platform()) return;
 
   //check if variable is already declared
-  char *created = xbt_dict_get_or_null(declared_marks, variable);
+  char *created = xbt_dict_get_or_null(filter, variable);
   if (what == INSTR_US_DECLARE){
     if (created){
       //already declared
-- 
2.20.1