X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/45c3f1cfee86fb48c96d53f8267f99b6db6e3d7a..bd4f21b5af54d121b6bee1717c8878cff5bf66bd:/src/xbt/automaton/parserPromela.lex

diff --git a/src/xbt/automaton/parserPromela.lex b/src/xbt/automaton/parserPromela.lex
index 2be47f27c0..04384ea842 100644
--- a/src/xbt/automaton/parserPromela.lex
+++ b/src/xbt/automaton/parserPromela.lex
@@ -8,6 +8,13 @@
 
 %{
 
+#include "simgrid_config.h"
+#ifndef HAVE_UNISTD_H
+#define YY_NO_UNISTD_H /* hello Windows */
+static int isatty(int fd) {
+  return 0;
+}
+#endif
 
 #include <stdio.h>
 #include "parserPromela.tab.hacc"