X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/3bd5ef08704c17d2c2a951932d44dbe0a1adc0ee..3af5117e28d2e3de087c88ca586097f94681c3e3:/src/xbt/automaton/parserPromela.lex

diff --git a/src/xbt/automaton/parserPromela.lex b/src/xbt/automaton/parserPromela.lex
index 1ed9b9e5f2..04384ea842 100644
--- a/src/xbt/automaton/parserPromela.lex
+++ b/src/xbt/automaton/parserPromela.lex
@@ -11,6 +11,9 @@
 #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>