From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Fri, 31 May 2013 21:38:26 +0000 (+0200)
Subject: model-checker : remove useless if
X-Git-Tag: v3_9_90~354
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/37876ed92c56be8bf04d4075e862fef838cf29e1?hp=d7d6db175cc786205321b1bfb6177e43f44cf85b

model-checker : remove useless if
---

diff --git a/src/mc/mc_liveness.c b/src/mc/mc_liveness.c
index 47849d6977..3e5b2ddda3 100644
--- a/src/mc/mc_liveness.c
+++ b/src/mc/mc_liveness.c
@@ -911,8 +911,7 @@ void MC_ddfs(){
 
   
   MC_SET_RAW_MEM;
-  if(prop_values != NULL)
-    xbt_dynar_free(&prop_values);
+  xbt_dynar_free(&prop_values);
   current_pair = xbt_fifo_shift(mc_stack_liveness);
   current_pair->stack_removed = 1;
   if((current_pair->automaton_state->type == 1) || (current_pair->automaton_state->type == 2)){