X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/c0c60073d245247d2f7848dada797723781d4069..b66dec8383676c57d9dd6b541ada6d3f4fa624b7:/src/mc/mc_private.h diff --git a/src/mc/mc_private.h b/src/mc/mc_private.h index 30d01cb060..3f968a2e67 100644 --- a/src/mc/mc_private.h +++ b/src/mc/mc_private.h @@ -183,6 +183,7 @@ typedef struct s_memory_map { } s_memory_map_t, *memory_map_t; memory_map_t get_memory_map(void); +void free_memory_map(memory_map_t map); /********************************** DPOR for safety **************************************/