X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_notation%2Ftest_dep.ml;h=a2c7e392e029ed0d1838541bf81b73ed87dc4e73;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=c40b6e7dea05d02550fdd33e78cb8890bcdfd0e7;hpb=3e5a3049534e6b5a091598a079b61c91134650f1;p=helm.git

diff --git a/helm/ocaml/cic_notation/test_dep.ml b/helm/ocaml/cic_notation/test_dep.ml
index c40b6e7de..a2c7e392e 100644
--- 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
+