X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/9616e469135a02323c3ca9d9e60e5a2e4958efbf..573a49afcc1a146f9776a7a772d87efd9db77657:/src/mc/mc_snapshot.h?ds=sidebyside

diff --git a/src/mc/mc_snapshot.h b/src/mc/mc_snapshot.h
index 0bb55bceb0..1a58db855d 100644
--- a/src/mc/mc_snapshot.h
+++ b/src/mc/mc_snapshot.h
@@ -146,7 +146,7 @@ public: // To be private
   int privatization_index;
   std::vector<size_t> stack_sizes;
   xbt_dynar_t stacks;
-  xbt_dynar_t to_ignore;
+  std::vector<s_mc_heap_ignore_region_t> to_ignore;
   uint64_t hash;
   std::vector<s_mc_snapshot_ignored_data> ignored_data;
   std::vector<s_fd_infos_t> current_fds;
@@ -248,4 +248,8 @@ void* MC_region_read_pointer(mc_mem_region_t region, const void* addr)
 
 SG_END_DECL()
 
+XBT_INTERNAL int init_heap_information(xbt_mheap_t heap1, xbt_mheap_t heap2,
+                          std::vector<s_mc_heap_ignore_region_t>* i1,
+                          std::vector<s_mc_heap_ignore_region_t>* i2);
+
 #endif