model-checker : free memory

[simgrid.git] / src / mc / mc_compare.c

diff --git a/src/mc/mc_compare.c b/src/mc/mc_compare.c
index 81e075e..0e038ca 100644 (file)
--- a/src/mc/mc_compare.c
+++ b/src/mc/mc_compare.c
@@ -148,7 +148,7 @@ int SIMIX_pre_mc_compare_snapshots(smx_simcall_t simcall,
 }
 
 int get_heap_region_index(mc_snapshot_t s){
-  int i =0;
+  int i = 0;
   while(i < s->num_reg){
     switch(s->regions[i]->type){
     case 0: