Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

[simgrid.git] / src / instr / instr_platform.cpp

diff --git a/src/instr/instr_platform.cpp b/src/instr/instr_platform.cpp
index eeb3877..7bbf6bf 100644 (file)
--- 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)