summaryrefslogtreecommitdiff
path: root/tokenizer.sig
diff options
context:
space:
mode:
Diffstat (limited to 'tokenizer.sig')
-rw-r--r--tokenizer.sig2
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