From 82701db07a6f9ae3ec79defbcf46e3de9346c766 Mon Sep 17 00:00:00 2001 From: Vladimir Azarov Date: Mon, 19 May 2025 23:43:59 +0200 Subject: printf F --- tokenizer.sig | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'tokenizer.sig') diff --git a/tokenizer.sig b/tokenizer.sig index a1f5c28..97baa17 100644 --- a/tokenizer.sig +++ b/tokenizer.sig @@ -124,7 +124,7 @@ signature TOKENIZER = sig PpcPragma val getToken: S.t -> token * S.pos * S.t - val Ptk: (token, 'a, 'b) a1printer + val Ptk: (token, 'a, 'b, 'c) a1printer val isPpcDir: token -> bool val debugPrint: string -> unit -- cgit v1.2.3