Bertrand's conjecture (weak), some work in progress

[helm.git] / helm / software / matita / matitadep.ml

diff --git a/helm/software/matita/matitadep.ml b/helm/software/matita/matitadep.ml
index 0b64778ec8e9222da9169e5c80f9a1157c04a057..ae95f8cf013f85c081e58032c66ab1cbe5d94cc1 100644 (file)
--- 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