X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=matita%2Fcomponents%2Fbinaries%2Fxoa%2Flib.mli;h=0c81d24253c3a2784366d39de43a37070cfcc23b;hp=756d7478c9c50be5fa6a7920484dae6052f0438c;hb=040c8158f327a3091c45295e91aaed2dedc137cb;hpb=cc6fcb70ca4f3cf01205ed722d75a2fdb2aaf779

diff --git a/matita/components/binaries/xoa/lib.mli b/matita/components/binaries/xoa/lib.mli
index 756d7478c..0c81d2425 100644
--- a/matita/components/binaries/xoa/lib.mli
+++ b/matita/components/binaries/xoa/lib.mli
@@ -11,6 +11,8 @@
 
 val get_preamble: string -> string
 
+val exists_out: string -> bool
+
 val open_out: string -> string -> out_channel
 
 val out_include: out_channel -> string -> unit