Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

[simgrid.git] / src / xbt / automaton / parserPromela.lex

diff --git a/src/xbt/automaton/parserPromela.lex b/src/xbt/automaton/parserPromela.lex
index b93895b..0d4804b 100644 (file)
--- a/src/xbt/automaton/parserPromela.lex
+++ b/src/xbt/automaton/parserPromela.lex
@@ -9,15 +9,8 @@
 %{
 
 #include "simgrid_config.h"
-#ifndef HAVE_UNISTD_H
+#if !HAVE_UNISTD_H
 #define YY_NO_UNISTD_H /* hello Windows */
-
-#ifdef _MSC_VER
-# include <io.h>
-# include <process.h>
-# define _CRT_SECURE_NO_WARNINGS
-# define _CRT_NONSTDC_NO_WARNINGS
-#endif
 #endif
 
 #include <stdio.h>