ocaml 3.09 transition

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

diff --git a/helm/ocaml/cic_notation/test_dep.ml b/helm/ocaml/cic_notation/test_dep.ml
index c40b6e7dea05d02550fdd33e78cb8890bcdfd0e7..a2c7e392e029ed0d1838541bf81b73ed87dc4e73 100644 (file)
--- a/helm/ocaml/cic_notation/test_dep.ml
+++ b/helm/ocaml/cic_notation/test_dep.ml
@@ -31,5 +31,8 @@ let _ =
     ic := open_in fname
   in
   Arg.parse [] open_file usage;
-  let deps = GrafiteParser.parse_dependencies (Stream.of_channel !ic) in
+  let deps =
+    GrafiteParser.parse_dependencies (Ulexing.from_utf8_channel !ic)
+  in
   List.iter (fun dep -> print_endline (GrafiteAstPp.pp_dependency dep)) deps
+