[simix] Fix signatures of callbacks (timer and kill_process_function)

[simgrid.git] / src / simix / libsmx.c

diff --git a/src/simix/libsmx.c b/src/simix/libsmx.c
index cdddd84..4db1dab 100644 (file)
--- a/src/simix/libsmx.c
+++ b/src/simix/libsmx.c
@@ -658,6 +658,11 @@ void simcall_process_set_data(smx_process_t process, void *data)
   }
 }
 
+static void kill_process(void* arg)
+{
+  simix_global->kill_process_function((smx_process_t) arg);
+}
+
 /**
  * \ingroup simix_process_management
  * \brief Set the kill time of a process.
@@ -669,7 +674,7 @@ void simcall_process_set_kill_time(smx_process_t process, double kill_time)
     if (simix_global->kill_process_function) {
       XBT_DEBUG("Set kill time %f for process %s(%s)",kill_time, process->name,
           sg_host_get_name(process->host));
-      process->kill_timer = SIMIX_timer_set(kill_time, simix_global->kill_process_function, process);
+      process->kill_timer = SIMIX_timer_set(kill_time, kill_process, process);
     }
   }
 }