X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Fgrafite_parser%2FdependenciesParser.ml;h=e07d4ec031e972e33a409f30fa73659638c03c1a;hb=d3f5ece275f78000b9fb4623ee33715e6e9442d1;hp=74cf0aa774333592b5ed396aab97581a38cd678b;hpb=81b53ddc3ce92187e62deff483919ca2251fd246;p=helm.git

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 [])