diff options
Diffstat (limited to 'stream.sig')
-rw-r--r-- | stream.sig | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -5,7 +5,7 @@ signature STREAM = sig type ppos (* pretty pos *) type t - type fileInfo + type fileInfo = fileId * string * string val convert: t -> fileInfo |