model-checker : break forgotten in switch

[simgrid.git] / src / simix / process_private.h

diff --git a/src/simix/process_private.h b/src/simix/process_private.h
index cfc9501..7d2dd13 100644 (file)
--- a/src/simix/process_private.h
+++ b/src/simix/process_private.h
@@ -59,7 +59,7 @@ smx_process_t SIMIX_process_create_from_wrapper(smx_process_arg_t args);
 void SIMIX_create_maestro_process(void);
 void SIMIX_process_cleanup(smx_process_t arg);
 void SIMIX_process_empty_trash(void);
-void SIMIX_process_yield(void);
+void SIMIX_process_yield(smx_process_t self);
 xbt_running_ctx_t *SIMIX_process_get_running_context(void);
 void SIMIX_process_exception_terminate(xbt_ex_t * e);
 void SIMIX_pre_process_change_host(smx_process_t process,