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

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