Index: third_party/wds/gen/headerscanner.h |
diff --git a/third_party/wds/gen/headerscanner.h b/third_party/wds/gen/headerscanner.h |
index 4f85d03766d16533dc9e82612ada0adfbce35e86..f82aefbbf9e253afbaa0ff507cb246f073998842 100644 |
--- a/third_party/wds/gen/headerscanner.h |
+++ b/third_party/wds/gen/headerscanner.h |
@@ -24,9 +24,13 @@ |
* 02110-1301 USA |
*/ |
+#include <stdint.h> |
+#define YY_NO_UNISTD_H 1 |
-#line 30 "gen/headerscanner.h" |
+ |
+ |
+#line 34 "gen/headerscanner.h" |
#define YY_INT_ALIGNED short int |
@@ -372,6 +376,6 @@ extern int header_lex \ |
#undef YY_DECL |
#endif |
-#line 376 "gen/headerscanner.h" |
+#line 380 "gen/headerscanner.h" |
#undef header_IN_HEADER |
#endif /* header_HEADER_H */ |