X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=matita%2Fcomponents%2Fbinaries%2Fxoa%2Fast.ml;h=42b4034c12174aa1553b9e42c0fc992b770f76e1;hp=42285524036073349c2ba7c1c67c93bba14304c7;hb=040c8158f327a3091c45295e91aaed2dedc137cb;hpb=cc6fcb70ca4f3cf01205ed722d75a2fdb2aaf779

diff --git a/matita/components/binaries/xoa/ast.ml b/matita/components/binaries/xoa/ast.ml
index 422855240..42b4034c1 100644
--- a/matita/components/binaries/xoa/ast.ml
+++ b/matita/components/binaries/xoa/ast.ml
@@ -19,6 +19,6 @@ type directive = Exists of arity * subarity
 
 let mk_exists c v = Exists (c, v)
 
-let mk_or c = Or c 
+let mk_or c = Or c
 
-let mk_and c = And c 
+let mk_and c = And c