update in ground

[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 756d7478c9c50be5fa6a7920484dae6052f0438c..cc66968d330c8dd0177b5f926e2622aa96737912 100644 (file)
--- a/matita/components/binaries/xoa/lib.mli
+++ b/matita/components/binaries/xoa/lib.mli
@@ -11,6 +11,8 @@
 
 val get_preamble: string -> string
 
-val open_out: string -> string -> out_channel
+val exists_out: string -> bool
+
+val open_out: bool -> string -> string -> out_channel
 
 val out_include: out_channel -> string -> unit