factor Cmake and clean files

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

diff --git a/examples/msg/mc/bugged2_liveness.h b/examples/msg/mc/bugged2_liveness.h
index ec62e31..d9ad041 100644 (file)
--- a/examples/msg/mc/bugged2_liveness.h
+++ b/examples/msg/mc/bugged2_liveness.h
@@ -9,7 +9,4 @@
 
 int predCS(void);
 
-int coordinator(int argc, char *argv[]);
-int client(int argc, char *argv[]);
-
 #endif