This commit was manufactured by cvs2svn to create branch 'moogle'.

[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 d53e42b..0000000
--- a/helm/ocaml/getter/test.ml
+++ /dev/null
@@ -1,15 +0,0 @@
-
-let _ = Helm_registry.load_from "foo.conf.xml"
-let fname =
-  Http_getter.getxml ~format:`Normal ~patch_dtd:true
-    "cic:/Coq/Init/Logic/False.ind"
-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 -> ());
-Sys.remove fname
-