Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
I think I just killed a simcall
[simgrid.git] / src / xbt / automaton / parserPromela.lex
index 04384ea..0d4804b 100644 (file)
@@ -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>