X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/49e85177c669d793e84242983a1b1f430e47184e..61427a88a76a2c2ef25d0d5b8132995c6f550e5c:/examples/msg/mc/bugged1_liveness.h

diff --git a/examples/msg/mc/bugged1_liveness.h b/examples/msg/mc/bugged1_liveness.h
index 7246422f64..eaf06f44fb 100644
--- a/examples/msg/mc/bugged1_liveness.h
+++ b/examples/msg/mc/bugged1_liveness.h
@@ -10,7 +10,4 @@
 int predR(void);
 int predCS(void);
 
-int coordinator(int argc, char *argv[]);
-int client(int argc, char *argv[]);
-
-#endif 
+#endif