big change in parsing, trying to make all functional

[helm.git] / matita / components / grafite_parser / dependenciesParser.ml

diff --git a/matita/components/grafite_parser/dependenciesParser.ml b/matita/components/grafite_parser/dependenciesParser.ml
index 57370660a7f8449e5e170fb24d6ffeb5e2b0a0b2..16c2a2c69f288ea3bab9100c8a95a80e8998afcf 100644 (file)
--- a/matita/components/grafite_parser/dependenciesParser.ml
+++ b/matita/components/grafite_parser/dependenciesParser.ml
@@ -40,7 +40,8 @@ let pp_dependency = function
 
 let parse_dependencies lexbuf = 
   let tok_stream,_ =
-    (CicNotationLexer.level2_ast_lexer ()).Token.tok_func (Obj.magic lexbuf)
+    let lexers = (CicNotationLexer.mk_lexers []) in
+    lexers.CicNotationLexer.level2_ast_lexer.Token.tok_func (Obj.magic lexbuf)
   in
   let rec parse acc = 
    let continue, acc =