model-checker : free memory

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

diff --git a/src/mc/memory_map.c b/src/mc/memory_map.c
index b0e84a6..04538dd 100644 (file)
--- a/src/mc/memory_map.c
+++ b/src/mc/memory_map.c
@@ -161,5 +161,6 @@ void free_memory_map(memory_map_t map){
   for(i=0; i< map->mapsize; i++){
     xbt_free(map->regions[i].pathname);
   }
   for(i=0; i< map->mapsize; i++){
     xbt_free(map->regions[i].pathname);
   }

+  xbt_free(map->regions);

   xbt_free(map);
 }
   xbt_free(map);
 }