X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fgetter%2Ftest.ml;h=6fa236fd04a10b7b1868dba98fad300ae0f5cde9;hb=a7063fc0997a9d9eae6c329443e67ab92c4b6a0f;hp=a35ed4d5bb5678141cd690ddf9385276c2f753b2;hpb=a3fb06e72407e3590fa60a74ac5fec01e6bfe1f9;p=helm.git diff --git a/helm/ocaml/getter/test.ml b/helm/ocaml/getter/test.ml index a35ed4d5b..6fa236fd0 100644 --- a/helm/ocaml/getter/test.ml +++ b/helm/ocaml/getter/test.ml @@ -1,3 +1,4 @@ +(* $Id$ *) let _ = Helm_registry.load_from "foo.conf.xml" let fname = Http_getter.getxml ~format:`Normal ~patch_dtd:true Sys.argv.(1) in