X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fbinaries%2Fxoa%2Fxoa.ml;h=de451f8148f9e17c0a64cd12dc3fdbc6e19d29f1;hb=9bca4a427fd1e3a9a6362ae189d06c7b3e3199ba;hp=92b473d7965cc4682769eb41982caff1d4ba0d93;hpb=4de2411d2cecf21630f6675f58e64f8ec6de9b60;p=helm.git

diff --git a/matita/components/binaries/xoa/xoa.ml b/matita/components/binaries/xoa/xoa.ml
index 92b473d79..de451f814 100644
--- a/matita/components/binaries/xoa/xoa.ml
+++ b/matita/components/binaries/xoa/xoa.ml
@@ -21,6 +21,9 @@ let unm_ex s =
 let unm_or s =
    Scanf.sscanf s "%u" A.mk_or 
 
+let unm_and s =
+   Scanf.sscanf s "%u" A.mk_and 
+
 let process conf =
    let preamble = L.get_preamble conf in
    let ooch = L.open_out preamble (R.get_string "xoa.objects") in
@@ -28,6 +31,7 @@ let process conf =
    List.iter (L.out_include ooch) (R.get_list R.string "xoa.include");   
    List.iter (E.generate ooch noch) (R.get_list unm_ex "xoa.ex");
    List.iter (E.generate ooch noch) (R.get_list unm_or "xoa.or");
+   List.iter (E.generate ooch noch) (R.get_list unm_and "xoa.and");
    close_out noch; close_out ooch
 
 let _ =