Workaround problem with excess precision on i387 FPU.

[simgrid.git] / include / simix / simix.h

diff --git a/include/simix/simix.h b/include/simix/simix.h
index 2de942e..59522ff 100644 (file)
--- a/include/simix/simix.h
+++ b/include/simix/simix.h
@@ -128,6 +128,7 @@ XBT_PUBLIC(void) simcall_process_create(smx_process_t *process,
                                           xbt_main_func_t code,
                                           void *data,
                                           const char *hostname,
+                                          double kill_time,
                                           int argc, char **argv,
                                           xbt_dict_t properties);