From: schnorr <Lucas.Schnorr@imag.fr>
Date: Thu, 14 Jun 2012 10:06:36 +0000 (+0200)
Subject: [trace] only ignore the call if the mark type wasn't declared
X-Git-Tag: v3_8~611
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/d952a3c4c9ad9f2a692907f7dd0038150e629f30

[trace] only ignore the call if the mark type wasn't declared
---

diff --git a/src/instr/instr_interface.c b/src/instr/instr_interface.c
index f1ff53908f..77ebe42562 100644
--- a/src/instr/instr_interface.c
+++ b/src/instr/instr_interface.c
@@ -200,7 +200,7 @@ void TRACE_mark(const char *mark_type, const char *mark_value)
 
   //check if mark_type is already declared
   char *created = xbt_dict_get_or_null(declared_marks, mark_type);
-  if (created) return;
+  if (!created) return;
 
   XBT_DEBUG("MARK %s %s", mark_type, mark_value);
   type_t type = PJ_type_get (mark_type, PJ_type_get_root());