move stdint.h include to table-serialization section; we'll still need to think about...

diff --git a/flex.skl b/flex.skl
index 9d662ec8e735b8e0b577fff9d575158916d2359f..d58307870b6a8b08106f560bd18857400a850f74 100644 (file)
--- a/flex.skl
+++ b/flex.skl
@@ -41,10 +41,10 @@
 #include <string.h>
 #include <errno.h>
 #include <stdlib.h>
-#include <stdint.h>
 %pop
 
 %if-tables-serialization
+#include <stdint.h>
 #include <netinet/in.h>
 %endif
 /* end standard C headers. */