info->remove_local_variable(var_name, frame_name);
}
-boost::iterator_range<s_mc_smx_process_info*> Process::simix_processes()
+boost::iterator_range<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*>(
+ return boost::iterator_range<simgrid::mc::SimixProcessInformation*>(
&*smx_process_infos.begin(),
&*smx_process_infos.end());
}