X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/b1ca5e16198315ae2190e0104eac0eab08aa4843..9c92907fc7a130fd6abc60b98791daa320742ba2:/src/xbt/automaton/parserPromela.lex diff --git a/src/xbt/automaton/parserPromela.lex b/src/xbt/automaton/parserPromela.lex index 7b64a62dd7..0d4804b612 100644 --- a/src/xbt/automaton/parserPromela.lex +++ b/src/xbt/automaton/parserPromela.lex @@ -1,7 +1,17 @@ +/* Copyright (c) 2012, 2014. The SimGrid Team. + * All rights reserved. */ + +/* This program is free software; you can redistribute it and/or modify it + * under the terms of the license (GNU LGPL) which comes with this package. */ + %option noyywrap %{ +#include "simgrid_config.h" +#if !HAVE_UNISTD_H +#define YY_NO_UNISTD_H /* hello Windows */ +#endif #include #include "parserPromela.tab.hacc"