X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fmatitadep.ml;h=ae95f8cf013f85c081e58032c66ab1cbe5d94cc1;hb=f75d2cc521bfa9941efb91f3a23cf554220de8e4;hp=0b64778ec8e9222da9169e5c80f9a1157c04a057;hpb=70c83bce7d1d50c19c297e47691f7d66208e4d83;p=helm.git

diff --git a/helm/software/matita/matitadep.ml b/helm/software/matita/matitadep.ml
index 0b64778ec..ae95f8cf0 100644
--- a/helm/software/matita/matitadep.ml
+++ b/helm/software/matita/matitadep.ml
@@ -54,7 +54,7 @@ let main () =
     try Some (Hashtbl.find baseuri_of_inv b)
     with Not_found -> 
       HLog.error ("Skipping dependency of '"^ma^"' over '"^b^"'");
-      HLog.error ("Plase include the file defining such baseuri, or fix");
+      HLog.error ("Please include the file defining such baseuri, or fix");
       HLog.error ("possibly incorrect verbatim URIs in the .ma file.");
       None
   in