]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/grafite_parser/test_dep.ml
removed no longer used METAs
[helm.git] / helm / ocaml / grafite_parser / test_dep.ml
index a2c7e392e029ed0d1838541bf81b73ed87dc4e73..2d0f7813f78f1bb70bccb738b1ffa6c3a14f8d40 100644 (file)
@@ -23,6 +23,8 @@
  * http://helm.cs.unibo.it/
  *)
 
+(* $Id$ *)
+
 let _ =
   let ic = ref stdin in
   let usage = "test_coarse_parser [ file ]" in
@@ -32,7 +34,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