summaryrefslogtreecommitdiff
path: root/stream.sig
diff options
context:
space:
mode:
Diffstat (limited to 'stream.sig')
-rw-r--r--stream.sig2
1 files changed, 1 insertions, 1 deletions
diff --git a/stream.sig b/stream.sig
index 2f2c834..4426e62 100644
--- a/stream.sig
+++ b/stream.sig
@@ -8,7 +8,7 @@ signature STREAM = sig
exception EOF
- val Ppos: (pos, 'a, 'b) a1printer
+ val Ppos: (pos, 'a, 'b, 'c) a1printer
val getchar: t -> char option * t