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