further simplification of the storage API, keep size only as nmemb was

[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 43b271bb33638b7652cea40ae7ba8e3967b8b5a4..b44121eff7f4de54f0ca0d3c9cc4be36c7e98dad 100644 (file)
--- a/examples/msg/mc/bugged2_liveness.h
+++ b/examples/msg/mc/bugged2_liveness.h
@@ -1,17 +1,9 @@
 #ifndef _BUGGED2_LIVENESS_H
 #define _BUGGED2_LIVENESS_H
 
-int yyparse(void);
-int yywrap(void);
-int yylex(void);
-
-int predPready(void);
-int predCready(void);
-int predConsume(void);
-int predProduce(void);
+int predCS(void);
 
 int coordinator(int argc, char *argv[]);
-int producer(int argc, char *argv[]);
-int consumer(int argc, char *argv[]);
+int client(int argc, char *argv[]);
 
 #endif