X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/8cfd4f9b786027431b78a9b74db0843634ab7397..4fa1717d674d45f694ea8637db1a32afcbd6cc8c:/src/instr/instr_platform.cpp

diff --git a/src/instr/instr_platform.cpp b/src/instr/instr_platform.cpp
index eeb38779a5..7bbf6bf3c4 100644
--- a/src/instr/instr_platform.cpp
+++ b/src/instr/instr_platform.cpp
@@ -278,11 +278,11 @@ static void instr_on_platform_created()
   TRACE_paje_dump_buffer(true);
 }
 
-static void TRACE_actor_kill(smx_process_exit_status_t status, msg_process_t process)
+static void TRACE_actor_kill(smx_process_exit_status_t status, simgrid::s4u::Actor* actor)
 {
   if (status == SMX_EXIT_FAILURE)
     // kill means that this actor no longer exists, let's destroy it
-    simgrid::instr::Container::by_name(instr_pid(process))->remove_from_parent();
+    simgrid::instr::Container::by_name(instr_pid(actor))->remove_from_parent();
 }
 
 static void instr_actor_on_creation(simgrid::s4u::ActorPtr actor)