From 37876ed92c56be8bf04d4075e862fef838cf29e1 Mon Sep 17 00:00:00 2001
From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Fri, 31 May 2013 23:38:26 +0200
Subject: [PATCH] model-checker : remove useless if

---
 src/mc/mc_liveness.c | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

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)){
-- 
2.20.1