From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Thu, 24 May 2012 08:39:35 +0000 (+0200)
Subject: model-checker : reindent, no change
X-Git-Tag: v3_8~686
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/f2233893ce7b8b1276bb6ca8474e3d3224bb1459

model-checker : reindent, no change
---

diff --git a/src/mc/mc_liveness.c b/src/mc/mc_liveness.c
index 8255beacaa..cd16a82d57 100644
--- a/src/mc/mc_liveness.c
+++ b/src/mc/mc_liveness.c
@@ -274,13 +274,13 @@ int reached(xbt_state_t st){
 	  //if(xbt_dict_length(pair_test->rdv_points) == xbt_dict_length(current_rdv_points)){
 	  //if(rdv_points_compare(pair_test->rdv_points, current_rdv_points) == 0){
 	  if(snapshot_compare(pair_test->system_state, sn, std_heap, raw_heap) == 0){
-		MC_free_snapshot(sn);
-		xbt_dynar_reset(prop_ato);
-		xbt_free(prop_ato);
-		MC_UNSET_RAW_MEM;
-		return 1;
-	      }
-	      /* }
+	    MC_free_snapshot(sn);
+	    xbt_dynar_reset(prop_ato);
+	    xbt_free(prop_ato);
+	    MC_UNSET_RAW_MEM;
+	    return 1;
+	  }
+	  /* }
 	  }else{
 	    XBT_DEBUG("Different size of rdv points (%d - %d)",xbt_dict_length(pair_test->rdv_points), xbt_dict_length(current_rdv_points) );
 	    }*/