X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_disambiguation%2Ftest_lexer.ml;h=b68d26de38859dd7c25ff71569c8eb4ebd2de279;hb=5325734bc2e4927ed7ec146e35a6f0f2b49f50c1;hp=520829d87b91cabcabf93589d05b5ced0afda1e5;hpb=7dbfe197294523c1178dc4f3a126602fa48fbb00;p=helm.git

diff --git a/helm/ocaml/cic_disambiguation/test_lexer.ml b/helm/ocaml/cic_disambiguation/test_lexer.ml
index 520829d87..b68d26de3 100644
--- a/helm/ocaml/cic_disambiguation/test_lexer.ml
+++ b/helm/ocaml/cic_disambiguation/test_lexer.ml
@@ -29,7 +29,7 @@ let ic =
   with Invalid_argument _ -> stdin
 in
 let token_stream =
-  fst (CicTextualLexer2.lex.Token.tok_func (Stream.of_channel ic))
+  fst (CicTextualLexer2.cic_lexer.Token.tok_func (Stream.of_channel ic))
 in
 let rec dump () =
   let (a,b) = Stream.next token_stream in