From 335acfd6f24de834bec623fdf55ad153b142d087 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Thu, 10 Feb 2005 16:06:36 +0000 Subject: [PATCH] adapted to optional comment lexer interface --- helm/ocaml/cic_disambiguation/test_lexer.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/ocaml/cic_disambiguation/test_lexer.ml b/helm/ocaml/cic_disambiguation/test_lexer.ml index b68d26de3..3e61e702c 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.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 -- 2.39.2