simcall_execution_destroy() -> simgrid::simix::Exec::unref()

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

diff --git a/src/simix/popping.cpp b/src/simix/popping.cpp
index e4a621b..e8c8e5f 100644 (file)
--- a/src/simix/popping.cpp
+++ b/src/simix/popping.cpp
@@ -39,7 +39,7 @@ void SIMIX_simcall_exit(smx_synchro_t synchro)
 {
   simgrid::simix::Exec *exec = dynamic_cast<simgrid::simix::Exec*>(synchro);
   if (exec != nullptr) {
-    SIMIX_post_host_execute(synchro);
+    SIMIX_post_host_execute(exec);
     return;
   }