From da6e39e544f2bcb3fdddd18507f9f7f076161a14 Mon Sep 17 00:00:00 2001
From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Tue, 6 Apr 2004 09:56:08 +0000
Subject: [PATCH] - added test file

---
 helm/ocaml/getter/.cvsignore |  1 +
 helm/ocaml/getter/test.ml    | 15 +++++++++++++++
 2 files changed, 16 insertions(+)
 create mode 100644 helm/ocaml/getter/test.ml

diff --git a/helm/ocaml/getter/.cvsignore b/helm/ocaml/getter/.cvsignore
index 6b3eba302..806547a56 100644
--- a/helm/ocaml/getter/.cvsignore
+++ b/helm/ocaml/getter/.cvsignore
@@ -1 +1,2 @@
 *.cm[iaox] *.cmxa
+test
diff --git a/helm/ocaml/getter/test.ml b/helm/ocaml/getter/test.ml
new file mode 100644
index 000000000..d53e42bbb
--- /dev/null
+++ b/helm/ocaml/getter/test.ml
@@ -0,0 +1,15 @@
+
+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
+
-- 
2.39.2