auxiliary executables (xoa, matitadep, probe, matex) ported to dune

[helm.git] / matita / components / binaries / xoa / lib.mli

diff --git a/matita/components/binaries/xoa/lib.mli b/matita/components/binaries/xoa/lib.mli
index 0c81d24253c3a2784366d39de43a37070cfcc23b..2cd5fb53f16c752e4f70fefb1262d03f65c858c1 100644 (file)
--- a/matita/components/binaries/xoa/lib.mli
+++ b/matita/components/binaries/xoa/lib.mli
@@ -9,10 +9,10 @@
      \ /   This software is distributed as is, NO WARRANTY.     
       V_______________________________________________________________ *)
 
-val get_preamble: string -> string
+val get_preamble: unit -> string
 
 val exists_out: string -> bool
 
-val open_out: string -> string -> out_channel
+val open_out: bool -> string -> string -> out_channel
 
 val out_include: out_channel -> string -> unit