diff options
| author | Vladimir Azarov <avm@intermediate-node.net> | 2025-05-19 23:43:59 +0200 |
|---|---|---|
| committer | Vladimir Azarov <avm@intermediate-node.net> | 2025-05-19 23:43:59 +0200 |
| commit | 82701db07a6f9ae3ec79defbcf46e3de9346c766 (patch) | |
| tree | 9fab427369799e891e8d15bc44810be27ec698c0 /tokenizer.sig | |
| parent | b2d8dcd8673cfcdbf1e8a02aa19c53e42b8a60b6 (diff) | |
printf F
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 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 |