From 0818ce4261f0fa7f8d872767471e4c2654458eb9 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Date: Wed, 13 Jun 2012 18:04:45 +0200
Subject: [PATCH] [trace] test is obviously redundant here.

---
 src/instr/instr_paje_values.c | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/instr/instr_paje_values.c b/src/instr/instr_paje_values.c
index 792438350c..382cfff2ff 100644
--- a/src/instr/instr_paje_values.c
+++ b/src/instr/instr_paje_values.c
@@ -38,10 +38,10 @@ val_t PJ_value_get (const char *name, type_t father)
 
   if (father->kind == TYPE_VARIABLE) return NULL; //Variables can't have different values
   val_t ret = (val_t)xbt_dict_get_or_null (father->values, name);
-  if (ret == NULL){
-    if (ret == NULL){
-      THROWF (tracing_error, 2, "value with name (%s) not found in father type (%s)", name, father->name);
-    }
+  if (ret == NULL) {
+    THROWF(tracing_error, 2,
+           "value with name (%s) not found in father type (%s)",
+           name, father->name);
   }
   return ret;
 }
-- 
2.20.1