model-checker : forget to remove unused variables

[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 1c14031..aa796a8 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[]);