From ff074375003b7b0e3d38e2742ff1d6098a0dab57 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Tue, 18 Jul 2006 11:01:41 +0000 Subject: [PATCH] The dependencies parser is more robust w.r.t. to lexing errors. --- components/grafite_parser/dependenciesParser.ml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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 []) -- 2.39.2