X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_notation%2Ftest_lexer.ml;h=569e86e442ae20383cb7b63a6ce1769391f1fa23;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=c3569cda44e53742abd626f5444663fd560cdbd7;hpb=c27b932e5adcf89dc9de0e28f65e3370fe3e6b05;p=helm.git

diff --git a/helm/ocaml/cic_notation/test_lexer.ml b/helm/ocaml/cic_notation/test_lexer.ml
index c3569cda4..569e86e44 100644
--- 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