XBT_PRIVATE const char* MC_dwarf_tagname(int tag);
XBT_PRIVATE void* mc_member_resolve(
- const void* base, simgrid::mc::Type* type, simgrid::mc::Type* member,
+ const void* base, simgrid::mc::Type* type, simgrid::mc::Member* member,
simgrid::mc::AddressSpace* snapshot, int process_index);
#endif