From 35c4cdcf7b072563be3e8c37bf3cc1065a221c50 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Tue, 26 Jul 2005 12:21:18 +0000 Subject: [PATCH] typo fixed --- helm/matita/matitaScript.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.39.2