From 76afedafce674a2d8d6d18d185a5b8906a057dee Mon Sep 17 00:00:00 2001 From: Frederic Suter Date: Sun, 6 May 2018 16:25:50 +0200 Subject: [PATCH] bummer --- include/simgrid/msg.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/include/simgrid/msg.h b/include/simgrid/msg.h index 173a1de00e..cec50cf59a 100644 --- a/include/simgrid/msg.h +++ b/include/simgrid/msg.h @@ -144,7 +144,7 @@ XBT_PUBLIC void MSG_process_daemonize(msg_process_t process); XBT_PUBLIC void MSG_process_migrate(msg_process_t process, msg_host_t host); XBT_PUBLIC void MSG_process_join(msg_process_t process, double timeout); XBT_PUBLIC void MSG_process_kill(msg_process_t process); -XBT_PUBLIC void MSG_process_killall(); +XBT_PUBLIC void MSG_process_kill_all(); XBT_PUBLIC void MSG_process_set_kill_time(msg_process_t process, double kill_time); XBT_PUBLIC void MSG_process_yield(); -- 2.20.1