diff options
author | Thomas Voss <mail@thomasvoss.com> | 2024-05-04 20:48:57 +0200 |
---|---|---|
committer | Thomas Voss <mail@thomasvoss.com> | 2024-05-04 20:48:57 +0200 |
commit | 3c6ca49b23fd6a2df735e0eaf93432bfef3cba97 (patch) | |
tree | 12a0f4ebb8d774af1b4f6f2a41b2367e99567943 /gen/prop/nt | |
parent | 10fe179c3d4b8ca2fe3a09c40aff73d3dfe585ee (diff) |
More 2-stage lookup tables
Diffstat (limited to 'gen/prop/nt')
-rwxr-xr-x | gen/prop/nt | 2 |
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" ''') |