X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FmatitaMisc.ml;h=1ea4e7e9228c52ffca09fcaa81b4a66e0b5be968;hb=e7916b85dd9dab26b628ace838c683beb31db9c1;hp=acaf2123c68690ef7edef457c8b326df963a5e98;hpb=ced6c94c59ba147abbee642dcd3e816ee2e1c1eb;p=helm.git

diff --git a/helm/matita/matitaMisc.ml b/helm/matita/matitaMisc.ml
index acaf2123c..1ea4e7e92 100644
--- a/helm/matita/matitaMisc.ml
+++ b/helm/matita/matitaMisc.ml
@@ -191,7 +191,7 @@ let get_proof_context status =
   | _ -> []
  
 let get_proof_aliases status = status.aliases
-  
+
 let qualify status name = get_string_option status "baseuri" ^ "/" ^ name
 
 let unopt = function None -> failwith "unopt: None" | Some v -> v