ocaml 3.09 transition

[helm.git] / helm / ocaml / cic_notation / test_lexer.ml

diff --git a/helm/ocaml/cic_notation/test_lexer.ml b/helm/ocaml/cic_notation/test_lexer.ml
index c3569cda44e53742abd626f5444663fd560cdbd7..569e86e442ae20383cb7b63a6ce1769391f1fa23 100644 (file)
--- a/helm/ocaml/cic_notation/test_lexer.ml
+++ b/helm/ocaml/cic_notation/test_lexer.ml
@@ -42,7 +42,9 @@ let _ =
          prerr_endline (Printf.sprintf "Unsupported level %s" l);
          exit 2
   in
-  let token_stream = fst (lexer.Token.tok_func (Stream.of_channel !ic)) in
+  let token_stream =
+    fst (lexer.Token.tok_func (Obj.magic (Ulexing.from_utf8_channel !ic)))
+  in
   Printf.printf "Lexing notation level %s\n" !level; flush stdout;
   let rec dump () =
     let (a,b) = Stream.next token_stream in