From 531f4605986ad1d263e688124ddf710b08bd98fa Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Mon, 21 Jan 2008 17:18:32 +0000 Subject: [PATCH] Typo fixed. --- helm/software/matita/matitadep.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.39.2