]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/getter/test.ml
- renamed ocaml/ to components/
[helm.git] / helm / ocaml / getter / test.ml
diff --git a/helm/ocaml/getter/test.ml b/helm/ocaml/getter/test.ml
deleted file mode 100644 (file)
index 6fa236f..0000000
+++ /dev/null
@@ -1,12 +0,0 @@
-(* $Id$ *)
-
-let _ = Helm_registry.load_from "foo.conf.xml"
-let fname = Http_getter.getxml ~format:`Normal ~patch_dtd:true Sys.argv.(1) in
-let ic = open_in fname in
-(try
-  while true do
-    let line = input_line ic in
-    print_endline line
-  done
-with End_of_file -> ())
-