diff options
Diffstat (limited to 'stream.sig')
-rw-r--r-- | stream.sig | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |