simcall.py: this parameter is not a field, respect our coding conventions

diff --git a/src/simix/popping_generated.cpp b/src/simix/popping_generated.cpp
index b252502..5648fbe 100644 (file)
--- a/src/simix/popping_generated.cpp
+++ b/src/simix/popping_generated.cpp
@@ -46,12 +46,12 @@ constexpr std::array<const char*, simgrid::simix::NUM_SIMCALLS> simcall_names{{
  *
  * This function is generated from src/simix/simcalls.in
  */
-void simgrid::kernel::actor::ActorImpl::simcall_handle(int times_considered_)
+void simgrid::kernel::actor::ActorImpl::simcall_handle(int times_considered)
 {
   XBT_DEBUG("Handling simcall %p: %s", &simcall_, SIMIX_simcall_name(simcall_.call_));
-  simcall_.mc_value_ = times_considered_;
+  simcall_.mc_value_ = times_considered;
   if (simcall_.observer_ != nullptr)
-    simcall_.observer_->prepare(times_considered_);
+    simcall_.observer_->prepare(times_considered);
   if (context_->wannadie())
     return;
   switch (simcall_.call_) {

diff --git a/src/simix/simcalls.py b/src/simix/simcalls.py
index fd8a29d..f2696f7 100755 (executable)
--- a/src/simix/simcalls.py
+++ b/src/simix/simcalls.py
@@ -334,12 +334,12 @@ if __name__ == '__main__':
     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')