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)))

easycrypt.opam

@@ -7,6 +7,7 @@ depends: [
   "dune" {>= "3.13"}
   "dune-build-info"
   "dune-site"
+  "markdown"
   "ocaml-inifiles" {>= "1.2"}
   "pcre" {>= "7"}
   "why3" {>= "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