X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FmatitaSync.ml;fp=helm%2Fmatita%2FmatitaSync.ml;h=754197bb77fdc59fd6f21564ec6cb75609552f76;hb=7119d284f9e82c964998608e519c8955ba58f100;hp=f2c9d6e336858c9d236524a5752c81ce1f00ce09;hpb=dfdff98e4417bae54fcf31d49c8a4d718c4487c2;p=helm.git

diff --git a/helm/matita/matitaSync.ml b/helm/matita/matitaSync.ml
index f2c9d6e33..754197bb7 100644
--- a/helm/matita/matitaSync.ml
+++ b/helm/matita/matitaSync.ml
@@ -64,7 +64,7 @@ let set_proof_aliases status new_aliases =
     new_status
 
 (** given a uri and a type list (the contructors types) builds a list of pairs
- *  (name,uri) that is used to generate authomatic aliases **)
+ *  (name,uri) that is used to generate automatic aliases **)
 let extract_alias types uri = 
   fst(List.fold_left (
     fun (acc,i) (name, _, _, cl) ->