X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/2be0e4648c5b7055580df1c265b7c43ee6763a46..39eaafd39429445bac3fb906bfde2714fc1dc848:/examples/msg/mc/bugged1_liveness.h

diff --git a/examples/msg/mc/bugged1_liveness.h b/examples/msg/mc/bugged1_liveness.h
index a33976881e..6ca2dfcd6f 100644
--- a/examples/msg/mc/bugged1_liveness.h
+++ b/examples/msg/mc/bugged1_liveness.h
@@ -1,10 +1,6 @@
 #ifndef _BUGGED1_LIVENESS_H
 #define _BUGGED1_LIVENESS_H
 
-int yyparse(void);
-int yywrap(void);
-int yylex(void);
-
 int predR(void);
 int predCS(void);