info->remove_local_variable(var_name, frame_name);
}
-boost::iterator_range<s_mc_smx_process_info*> Process::simix_processes()
+std::vector<simgrid::mc::SimixProcessInformation>& Process::simix_processes()
{
xbt_assert(mc_mode != MC_MODE_CLIENT);
MC_process_smx_refresh(&mc_model_checker->process());
- return boost::iterator_range<s_mc_smx_process_info*>(
- &*smx_process_infos.begin(),
- &*smx_process_infos.end());
+ return smx_process_infos;
}
}