[trace] test is obviously redundant here.

diff --git a/src/instr/instr_paje_values.c b/src/instr/instr_paje_values.c
index 7924383..382cfff 100644 (file)
--- 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 (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;
 }
   }
   return ret;
 }