]> AND Public Git Repository - simgrid.git/blobdiff - src/xbt/automaton/parserPromela.yacc
Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge pull request #256 from Flamefire/master
[simgrid.git] / src / xbt / automaton / parserPromela.yacc
index 57468b65dfd884b7351e89ff9fed2113b3db063d..b96bc93dfdff8ffe245e4939737c2b74a933e2c6 100644 (file)
@@ -5,6 +5,10 @@
  * under the terms of the license (GNU LGPL) which comes with this package. */
 
 %{
+#include "simgrid_config.h"
+#if !HAVE_UNISTD_H
+#define YY_NO_UNISTD_H /* hello Windows */
+#endif
 
 #include "automaton_lexer.yy.c"
 #include <xbt/automaton.h>