X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/8e4a3f0cfb4cce8161d15bd2f531bff6007f3ce5..23a620e6c6df0a9023991f607cb93b71ed8f6065:/examples/msg/mc/parserPromela.yacc

diff --git a/examples/msg/mc/parserPromela.yacc b/examples/msg/mc/parserPromela.yacc
index 558ea1a156..f018f80d86 100644
--- a/examples/msg/mc/parserPromela.yacc
+++ b/examples/msg/mc/parserPromela.yacc
@@ -4,6 +4,8 @@
 #include "automatonparse_promela.h"
 #include "lex.yy.c"
 
+void yyerror(const char *s);
+
 %}
 
 %union{
@@ -64,9 +66,11 @@ exp : LEFT_PAR exp RIGHT_PAR { $$ = $2; }
  
 %%
 
-int yyerror(char *s) {
-  fprintf(stderr, "%s\n", s);
-  return 0;
+
+
+void yyerror(const char *s){
+  fprintf (stderr, "%s\n", s);
 }
 
 
+