Specialize parameter for simcall io_wait.

[simgrid.git] / src / simix / popping_generated.cpp

diff --git a/src/simix/popping_generated.cpp b/src/simix/popping_generated.cpp
index fbaa9b5a3601d6e97499b18fcceb10786c9bd91c..490d122822d252f9e559cbd59b1d9f4b71fa89a9 100644 (file)
--- a/src/simix/popping_generated.cpp
+++ b/src/simix/popping_generated.cpp
@@ -154,9 +154,7 @@ case SIMCALL_SEM_ACQUIRE_TIMEOUT:
   break;
 
 case SIMCALL_IO_WAIT:
-  simcall_HANDLER_io_wait(
-      simcall,
-      simgrid::simix::unmarshal<boost::intrusive_ptr<simgrid::kernel::activity::ActivityImpl>>(simcall->args[0]));
+  simcall_HANDLER_io_wait(simcall, simgrid::simix::unmarshal<simgrid::kernel::activity::IoImpl*>(simcall->args[0]));
   break;
 
 case SIMCALL_MC_RANDOM: