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 74cf0aa774333592b5ed396aab97581a38cd678b..e07d4ec031e972e33a409f30fa73659638c03c1a 100644 (file)
--- 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 [])