X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/76101040507705df54bb1aafa0fc61e3a43cdd79..a816e6918b9e43989783b770363e14efb1856a8e:/src/simix/simcalls.py

diff --git a/src/simix/simcalls.py b/src/simix/simcalls.py
index d933dc2731..da35fdf7d6 100755
--- a/src/simix/simcalls.py
+++ b/src/simix/simcalls.py
@@ -348,12 +348,12 @@ if __name__ == '__main__':
     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 value) {\n')
+        'void simgrid::kernel::actor::ActorImpl::simcall_handle(int times_considered_) {\n')
     fd.write(
         '  XBT_DEBUG("Handling simcall %p: %s", &simcall_, SIMIX_simcall_name(simcall_.call_));\n')
-    fd.write('  SIMCALL_SET_MC_VALUE(simcall_, value);\n')
+    fd.write('  SIMCALL_SET_MC_VALUE(simcall_, times_considered_);\n')
     fd.write('  if (simcall_.inspector_ != nullptr)\n')
-    fd.write('    simcall_.inspector_->is_pending(value);\n')
+    fd.write('    simcall_.inspector_->is_pending(times_considered_);\n')
 
     fd.write('  if (context_->wannadie())\n')
     fd.write('    return;\n')