xbt_die("Unexpected socket type %i", type);
XBT_DEBUG("Model-checked application found expected socket type");
- instance_ = std::unique_ptr<Client>(new simgrid::mc::Client(fd));
+ instance_.reset(new simgrid::mc::Client(fd));
// Wait for the model-checker:
errno = 0;
region.block = ((char*)stack - (char*)heap->heapbase) / BLOCKSIZE + 1;
#if HAVE_SMPI
if (smpi_privatize_global_variables == SmpiPrivStrategies::MMAP && process)
- region.process_index = process->pid_ - 1;
+ region.process_index = process->get_pid() - 1;
else
#endif
region.process_index = -1;