From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 26 Jul 2005 12:21:18 +0000 (+0000)
Subject: typo fixed
X-Git-Tag: V_0_7_2~68
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=35c4cdcf7b072563be3e8c37bf3cc1065a221c50;p=helm.git

typo fixed
---

diff --git a/helm/matita/matitaScript.ml b/helm/matita/matitaScript.ml
index af7b02a82..48cc9111b 100644
--- a/helm/matita/matitaScript.ml
+++ b/helm/matita/matitaScript.ml
@@ -108,7 +108,7 @@ let eval_with_engine guistuff status user_goal parsed_text st =
       | TA.Command (_, TA.Include _) -> DisambiguateTypes.Environment.empty
       | _ -> MatitaSync.alias_diff ~from:status new_status
   in
-  (* we remove the defined object since we consider them "automathic aliases" *)
+  (* we remove the defined object since we consider them "automatic aliases" *)
   let new_aliases = 
     let module DTE = DisambiguateTypes.Environment in
     let module UM = UriManager in