]> matita.cs.unibo.it Git - helm.git/blob - helm/ocaml/getter/test.ml
New argument (the identifier) to generalize.
[helm.git] / helm / ocaml / getter / test.ml
1
2 let _ = Helm_registry.load_from "foo.conf.xml"
3 let fname =
4   Http_getter.getxml ~format:`Normal ~patch_dtd:true Sys.argv.(1)
5 in
6 let ic = open_in fname in
7 (try
8   while true do
9     let line = input_line ic in
10     print_endline line
11   done
12 with End_of_file -> ());
13 Sys.remove fname
14