model-checker : new examples

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

diff --git a/examples/msg/mc/centralized_liveness.h b/examples/msg/mc/centralized_liveness.h
index 1c140317e30bf6cf6b28d5d55f013e5d2cd778ac..aa796a8d2bcc1a5042d0fad8e8afb62e032785fe 100644 (file)
--- a/examples/msg/mc/centralized_liveness.h
+++ b/examples/msg/mc/centralized_liveness.h
@@ -5,7 +5,7 @@ int yyparse(void);
 int yywrap(void);
 int yylex(void);
 
-int predCS2(void);
+int predCS(void);
 
 int coordinator(int argc, char *argv[]);
 int client(int argc, char *argv[]);