From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 21 Jan 2008 17:18:32 +0000 (+0000)
Subject: Typo fixed.
X-Git-Tag: make_still_working~5661
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=531f4605986ad1d263e688124ddf710b08bd98fa;p=helm.git

Typo fixed.
---

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