X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fgrafite_parser%2Ftest_dep.ml;h=90fdcd3b51d558d315556125c0fb68f9aadba103;hb=53b993e769b2223b3f6c9a052d4b014e83bc6d01;hp=a2c7e392e029ed0d1838541bf81b73ed87dc4e73;hpb=a696aae5ea794cd43fd3d83d37a0345d2a1387b3;p=helm.git

diff --git a/helm/ocaml/grafite_parser/test_dep.ml b/helm/ocaml/grafite_parser/test_dep.ml
index a2c7e392e..90fdcd3b5 100644
--- a/helm/ocaml/grafite_parser/test_dep.ml
+++ b/helm/ocaml/grafite_parser/test_dep.ml
@@ -32,7 +32,7 @@ let _ =
   in
   Arg.parse [] open_file usage;
   let deps =
-    GrafiteParser.parse_dependencies (Ulexing.from_utf8_channel !ic)
+    DependenciesParser.parse_dependencies (Ulexing.from_utf8_channel !ic)
   in
-  List.iter (fun dep -> print_endline (GrafiteAstPp.pp_dependency dep)) deps
+  List.iter (fun dep -> print_endline (DependenciesParser.pp_dependency dep)) deps