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: make_still_working~7059
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=be7c458d2ffc4669891f7c8f3e4e80399d4157f7;p=helm.git

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

diff --git a/helm/software/components/grafite_parser/dependenciesParser.ml b/helm/software/components/grafite_parser/dependenciesParser.ml
index 74cf0aa77..e07d4ec03 100644
--- a/helm/software/components/grafite_parser/dependenciesParser.ml
+++ b/helm/software/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 [])