diff options
| author | Vladimir Azarov <avm@intermediate-node.net> | 2025-05-18 15:23:49 +0200 |
|---|---|---|
| committer | Vladimir Azarov <avm@intermediate-node.net> | 2025-05-18 15:23:49 +0200 |
| commit | be407d29db4f2ac1018ab6841c7111f95b977948 (patch) | |
| tree | 80894cf46a3e694218f28773df7f057a922aca59 /tokenizer.sig | |
| parent | d289f01594024a8fe64aeed56721260fab6b4e50 (diff) | |
#undef
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 a0f5127..91de93a 100644 --- a/tokenizer.sig +++ b/tokenizer.sig @@ -128,7 +128,7 @@ signature TOKENIZER = sig exception TkErrorAug of S.pos * string val getToken: S.t -> token * S.pos * S.t - val Ptoken: (token, 'a, 'b) a1printer + val Ptk: (token, 'a, 'b) a1printer val isPpcDir: token -> bool val debugPrint: string -> unit |