X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/df842dc41ca05e49bc585f7732df1849de91cac8..cd794f9367d030c421a5bcbd9e9ceba8a232e4ce:/examples/msg/mc/example_automaton.h diff --git a/examples/msg/mc/example_automaton.h b/examples/msg/mc/example_automaton.h index 745762ce50..1ff4c9982b 100644 --- a/examples/msg/mc/example_automaton.h +++ b/examples/msg/mc/example_automaton.h @@ -5,10 +5,15 @@ int yyparse(void); int yywrap(void); int yylex(void); -int predD(void); +int predP(void); int predR(void); +int predQ(void); +int predD(void); int predE(void); + + + int server(int argc, char *argv[]); int client(int argc, char *argv[]);