Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
add -no-pie flag to thread sanitizer (see https://bugs.debian.org/cgi-bin/bugreport...
[simgrid.git] / src / xbt / automaton / parserPromela.lex
index 1ed9b9e..0d4804b 100644 (file)
@@ -9,7 +9,7 @@
 %{
 
 #include "simgrid_config.h"
-#ifndef HAVE_UNISTD_H
+#if !HAVE_UNISTD_H
 #define YY_NO_UNISTD_H /* hello Windows */
 #endif