From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Sat, 1 Jun 2013 09:51:06 +0000 (+0200)
Subject: model-checker : fix memory free
X-Git-Tag: v3_9_90~353
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/13b26f61527fed7ac5dbc65753430499d89b4903

model-checker : fix memory free
---

diff --git a/src/mc/mc_liveness.c b/src/mc/mc_liveness.c
index 3e5b2ddda3..71cd6d3bc4 100644
--- a/src/mc/mc_liveness.c
+++ b/src/mc/mc_liveness.c
@@ -914,7 +914,7 @@ void MC_ddfs(){
   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)){
+  if(current_pair->search_cycle){
     remove_acceptance_pair(current_pair);
   }else{
     if(_sg_mc_visited == 0)