]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/cic_disambiguation/test_lexer.ml
debian: rebuilt against ocaml 3.08.2
[helm.git] / helm / ocaml / cic_disambiguation / test_lexer.ml
index b68d26de38859dd7c25ff71569c8eb4ebd2de279..3e61e702c0f33bc046931f76320b1fa93477d0fa 100644 (file)
@@ -29,7 +29,7 @@ let ic =
   with Invalid_argument _ -> stdin
 in
 let token_stream =
-  fst (CicTextualLexer2.cic_lexer.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