From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 18 Jul 2006 11:01:41 +0000 (+0000)
Subject: The dependencies parser is more robust w.r.t. to lexing errors.
X-Git-Tag: 0.4.95@7852~1199
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=ff074375003b7b0e3d38e2742ff1d6098a0dab57;p=helm.git

The dependencies parser is more robust w.r.t. to lexing errors.
---

diff --git a/components/grafite_parser/dependenciesParser.ml b/components/grafite_parser/dependenciesParser.ml
index 74cf0aa77..e07d4ec03 100644
--- a/components/grafite_parser/dependenciesParser.ml
+++ b/components/grafite_parser/dependenciesParser.ml
@@ -55,7 +55,8 @@ let parse_dependencies lexbuf =
     | [< 'tok >] -> parse acc
     | [<  >] -> acc) tok_stream
    with
-    Stream.Error _ -> parse acc
+      Stream.Error _ -> parse acc
+    | CicNotationLexer.Error _ -> parse acc
   in
   List.rev (parse [])