deps

Author: strub

dune-project

@@ -19,6 +19,7 @@
   dune
   dune-build-info
   dune-site
+  markdown
   (ocaml-inifiles (>= 1.2))
   (pcre (>= 7))
   (why3 (and (>= 1.8.0) (< 1.9)))

src/ecIo.mli

@@ -2,7 +2,7 @@
 type ecreader
 
 (* -------------------------------------------------------------------- *)
-val from_channel : name:string -> in_channel -> ecreader
+val from_channel : ?close:bool -> name:string -> in_channel -> ecreader
 val from_file    : string -> ecreader
 val from_string  : string -> ecreader