aboutsummaryrefslogtreecommitdiff
path: root/gen/prop/nt
diff options
context:
space:
mode:
authorThomas Voss <mail@thomasvoss.com> 2024-05-04 20:48:57 +0200
committerThomas Voss <mail@thomasvoss.com> 2024-05-04 20:48:57 +0200
commit3c6ca49b23fd6a2df735e0eaf93432bfef3cba97 (patch)
tree12a0f4ebb8d774af1b4f6f2a41b2367e99567943 /gen/prop/nt
parent10fe179c3d4b8ca2fe3a09c40aff73d3dfe585ee (diff)
More 2-stage lookup tables
Diffstat (limited to 'gen/prop/nt')
-rwxr-xr-xgen/prop/nt2
1 files changed, 2 insertions, 0 deletions
diff --git a/gen/prop/nt b/gen/prop/nt
index 477789c..c799f7f 100755
--- a/gen/prop/nt
+++ b/gen/prop/nt
@@ -38,6 +38,8 @@ def genfile(cs: list[tuple[bool, ...]], blksize: int) -> None:
print('''\
/* This file is autogenerated by gen/prop/nt; DO NOT EDIT. */
+#include <stdint.h>
+
#include "unicode/prop.h"
''')