/* This program is free software; you can redistribute it and/or modify it
* under the terms of the license (GNU LGPL) which comes with this package. */
-#define _GNU_SOURCE
#include "mc_private.h"
#include <stdlib.h>
return ret;
}
+
+void free_memory_map(memory_map_t map){
+
+ int i;
+ for(i=0; i< map->mapsize; i++){
+ xbt_free(map->regions[i].pathname);
+ }
+ xbt_free(map);
+}