fd.write(' *\n')
fd.write(' * This function is generated from src/simix/simcalls.in\n')
fd.write(' */\n')
- fd.write('void simgrid::kernel::actor::ActorImpl::simcall_handle(int times_considered_)\n')
+ fd.write('void simgrid::kernel::actor::ActorImpl::simcall_handle(int times_considered)\n')
fd.write('{\n')
fd.write(' XBT_DEBUG("Handling simcall %p: %s", &simcall_, SIMIX_simcall_name(simcall_.call_));\n')
- fd.write(' simcall_.mc_value_ = times_considered_;\n')
+ fd.write(' simcall_.mc_value_ = times_considered;\n')
fd.write(' if (simcall_.observer_ != nullptr)\n')
- fd.write(' simcall_.observer_->prepare(times_considered_);\n')
+ fd.write(' simcall_.observer_->prepare(times_considered);\n')
fd.write(' if (context_->wannadie())\n')
fd.write(' return;\n')