diff options
| author | Vladimir Azarov <avm@intermediate-node.net> | 2025-06-04 20:45:08 +0200 |
|---|---|---|
| committer | Vladimir Azarov <avm@intermediate-node.net> | 2025-06-04 20:45:08 +0200 |
| commit | 9ccb3fce8e390f09fa5b812a77f7a65c10c5e4b1 (patch) | |
| tree | bdbbce79c18fdb2e68592ed828f43da0b03ecf8f /tokenizer.sig | |
| parent | 546a5861526192a908f2aa2bfc3cfe4f3f3baf43 (diff) | |
Registration of declarations
Diffstat (limited to 'tokenizer.sig')
| -rw-r--r-- | tokenizer.sig | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tokenizer.sig b/tokenizer.sig index eff8e46..5243642 100644 --- a/tokenizer.sig +++ b/tokenizer.sig @@ -9,7 +9,7 @@ signature TOKENIZER = sig MacroEnd of int | Id of int | - CharConst of int * int | + CharConst of int * Word64.word | Num of int | Strlit of int | |