model-checker : fix memory leak

diff --git a/src/xbt/mmalloc/mm_diff.c b/src/xbt/mmalloc/mm_diff.c
index 84d7db1..86733e3 100644 (file)
--- a/src/xbt/mmalloc/mm_diff.c
+++ b/src/xbt/mmalloc/mm_diff.c
@@ -371,7 +371,9 @@ void reset_heap_information(){
       equals_to1[i][j] = NULL;
       heap_area_free(equals_to2[i][j]);
       equals_to2[i][j] = NULL;
       equals_to1[i][j] = NULL;
       heap_area_free(equals_to2[i][j]);
       equals_to2[i][j] = NULL;

-    }    
+    }
+    free(equals_to1[i]);
+    free(equals_to2[i]);

   }
 
   free(equals_to1);
   }
 
   free(equals_to1);