From be407d29db4f2ac1018ab6841c7111f95b977948 Mon Sep 17 00:00:00 2001 From: Vladimir Azarov Date: Sun, 18 May 2025 15:23:49 +0200 Subject: #undef --- tokenizer.sig | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'tokenizer.sig') 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 -- cgit v1.2.3