Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
move process-join to teshsuite/msg
[simgrid.git] / examples / msg / mc / bugged1_liveness.h
index 7246422f64d13859c6cb0dd50562ece22e03380f..eaf06f44fb0bb209c08241c52576dcb79ee7adbf 100644 (file)
@@ -10,7 +10,4 @@
 int predR(void);
 int predCS(void);
 
 int predR(void);
 int predCS(void);
 
-int coordinator(int argc, char *argv[]);
-int client(int argc, char *argv[]);
-
-#endif 
+#endif