Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

[simgrid.git] / examples / msg / mc / bugged1_liveness.h

diff --git a/examples/msg/mc/bugged1_liveness.h b/examples/msg/mc/bugged1_liveness.h
index 7246422f64d13859c6cb0dd50562ece22e03380f..c24c967c496a11fe57dce303e4ccc3ef1ee45b06 100644 (file)
--- 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