X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2FmatitaScript.ml;h=d243ebb2ead2ad2c5f65708646cf25c02137e363;hb=2e2ce89ad33092676c91fc65960614dc1bcc5bb6;hp=b8c9505497305dcc0f407d2ae8f448d0c29120e6;hpb=9393a9f9370014c904244358abe4ec6e11a9d158;p=helm.git

diff --git a/matita/matitaScript.ml b/matita/matitaScript.ml
index b8c950549..d243ebb2e 100644
--- a/matita/matitaScript.ml
+++ b/matita/matitaScript.ml
@@ -803,6 +803,7 @@ object (self)
     try
       is_there_only_comments self#lexicon_status s
     with 
+    | HExtlib.Localized _
     | CicNotationParser.Parse_error _ -> false
     | Margin | End_of_file -> true