X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=matita%2Fcomponents%2Fbinaries%2Fxoa%2Flib.mli;fp=matita%2Fcomponents%2Fbinaries%2Fxoa%2Flib.mli;h=2cd5fb53f16c752e4f70fefb1262d03f65c858c1;hp=cc66968d330c8dd0177b5f926e2622aa96737912;hb=ef225b816c82d4fad37993f963804e51152f4dac;hpb=b161347767b1cb67c4f5b115e4414b85ac4b2183

diff --git a/matita/components/binaries/xoa/lib.mli b/matita/components/binaries/xoa/lib.mli
index cc66968d3..2cd5fb53f 100644
--- a/matita/components/binaries/xoa/lib.mli
+++ b/matita/components/binaries/xoa/lib.mli
@@ -9,7 +9,7 @@
      \ /   This software is distributed as is, NO WARRANTY.     
       V_______________________________________________________________ *)
 
-val get_preamble: string -> string
+val get_preamble: unit -> string
 
 val exists_out: string -> bool