model checker : dfs algorithm corrected

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

diff --git a/examples/msg/mc/example_automaton.h b/examples/msg/mc/example_automaton.h
index 745762c..1ff4c99 100644 (file)
--- 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[]);