From 335af9d8489d1a9824d35f1582758732c4ee7a14 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Tue, 18 Jan 2005 18:18:35 +0000 Subject: [PATCH] read uri from cmdline --- helm/ocaml/getter/test.ml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/helm/ocaml/getter/test.ml b/helm/ocaml/getter/test.ml index d53e42bbb..ab5e3812b 100644 --- a/helm/ocaml/getter/test.ml +++ b/helm/ocaml/getter/test.ml @@ -1,8 +1,7 @@ let _ = Helm_registry.load_from "foo.conf.xml" let fname = - Http_getter.getxml ~format:`Normal ~patch_dtd:true - "cic:/Coq/Init/Logic/False.ind" + Http_getter.getxml ~format:`Normal ~patch_dtd:true Sys.argv.(1) in let ic = open_in fname in (try -- 2.39.2