From 3f55b2844ce344a02b74edf79e44f27eae688177 Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Wed, 14 Aug 2013 16:35:56 +0200 Subject: [PATCH] model-checker : else if instead of if{} if{} --- src/xbt/mmalloc/mm_diff.c | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/src/xbt/mmalloc/mm_diff.c b/src/xbt/mmalloc/mm_diff.c index d1f021a0a8..6d0f265ef9 100644 --- a/src/xbt/mmalloc/mm_diff.c +++ b/src/xbt/mmalloc/mm_diff.c @@ -347,8 +347,7 @@ void reset_heap_information(){ if(heapinfo1[i].type == 0){ heap_area_free(heapinfo1[i].busy_block.equal_to); heapinfo1[i].busy_block.equal_to = NULL; - } - if(heapinfo1[i].type > 0){ + }else if(heapinfo1[i].type > 0){ for(j=0; j < (size_t) (BLOCKSIZE >> heapinfo1[i].type); j++){ heap_area_free(heapinfo1[i].busy_frag.equal_to[j]); heapinfo1[i].busy_frag.equal_to[j] = NULL; @@ -363,8 +362,7 @@ void reset_heap_information(){ if(heapinfo2[i].type == 0){ heap_area_free(heapinfo2[i].busy_block.equal_to); heapinfo2[i].busy_block.equal_to = NULL; - } - if(heapinfo2[i].type > 0){ + }else if(heapinfo2[i].type > 0){ for(j=0; j < (size_t) (BLOCKSIZE >> heapinfo2[i].type); j++){ heap_area_free(heapinfo2[i].busy_frag.equal_to[j]); heapinfo2[i].busy_frag.equal_to[j] = NULL; -- 2.20.1