X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/f28d984fb76ea5e45562168a2e67b60a8b1d0fb2..a94c908b9acf9a86f175c7f1c29b2c52e72eb2d2:/src/xbt/automaton/parserPromela.yacc diff --git a/src/xbt/automaton/parserPromela.yacc b/src/xbt/automaton/parserPromela.yacc index 36fd2c0984..6c6ae1f18f 100644 --- a/src/xbt/automaton/parserPromela.yacc +++ b/src/xbt/automaton/parserPromela.yacc @@ -1,7 +1,5 @@ %{ - //#include "../../../include/xbt/automatonparse_promela.h" - //#include "../../../include/xbt/automaton.h" #include "automaton_parse.yy.c" #include #include