model-checker : remove unnecessary step

diff --git a/src/xbt/mmalloc/mm_diff.c b/src/xbt/mmalloc/mm_diff.c
index 3eb8b10..e782907 100644 (file)
--- a/src/xbt/mmalloc/mm_diff.c
+++ b/src/xbt/mmalloc/mm_diff.c
@@ -424,7 +424,6 @@ int mmalloc_compare_heap(xbt_mheap_t heap1, xbt_mheap_t heap2, xbt_dynar_t *stac
               }
 
             }
               }
 
             }

-

         }
 
         while(i2 <= heaplimit && !equal){
         }
 
         while(i2 <= heaplimit && !equal){