Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

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

diff --git a/examples/msg/mc/bugged1_liveness.h b/examples/msg/mc/bugged1_liveness.h
index a33976881e6fedd002aa6156e6244210173e7c62..6ca2dfcd6fcae23e74e90b01a7317e2f3c24bfce 100644 (file)
--- 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);