X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fgrafite_parser%2Ftest_dep.ml;h=b397df31b974eadc715df01b8199f2f84d22cf51;hb=e9b09b14538f770b9e65083c24e3e9cf487df648;hp=2d0f7813f78f1bb70bccb738b1ffa6c3a14f8d40;hpb=55b82bd235d82ff7f0a40d980effe1efde1f5073;p=helm.git

diff --git a/helm/software/components/grafite_parser/test_dep.ml b/helm/software/components/grafite_parser/test_dep.ml
index 2d0f7813f..b397df31b 100644
--- a/helm/software/components/grafite_parser/test_dep.ml
+++ b/helm/software/components/grafite_parser/test_dep.ml
@@ -26,15 +26,10 @@
 (* $Id$ *)
 
 let _ =
-  let ic = ref stdin in
+  let ic = ref "/dev/fd/0" in
   let usage = "test_coarse_parser [ file ]" in
-  let open_file fname =
-    if !ic <> stdin then close_in !ic;
-    ic := open_in fname
-  in
+  let open_file fname = ic := fname in
   Arg.parse [] open_file usage;
-  let deps =
-    DependenciesParser.parse_dependencies (Ulexing.from_utf8_channel !ic)
-  in
+  let deps = DependenciesParser.deps_of_file !ic in
   List.iter (fun dep -> print_endline (DependenciesParser.pp_dependency dep)) deps