model-checker : remove unused argument in functions for heap comparison algorithm

[simgrid.git] / examples / msg / start_kill_time / sk_time.c

diff --git a/examples/msg/start_kill_time/sk_time.c b/examples/msg/start_kill_time/sk_time.c
index 090cea9..255e18d 100644 (file)
--- a/examples/msg/start_kill_time/sk_time.c
+++ b/examples/msg/start_kill_time/sk_time.c
@@ -23,8 +23,6 @@ static int slave(int argc, char *argv[])
 
 static int master(int argc, char *argv[])
 {
-  m_process_t bob = NULL;
-
   XBT_INFO("Hello!");
   MSG_process_sleep(10.0);
   XBT_INFO("OK, goodbye now.");