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 c09b7c1..795d193 100644
--- a/stream.sig
+++ b/stream.sig
@@ -5,7 +5,7 @@ signature STREAM = sig
type ppos (* pretty pos *)
type t
- type fileInfo
+ type fileInfo = fileId * string * string
val convert: t -> fileInfo