]> matita.cs.unibo.it Git - helm.git/blobdiff - components/getter/http_getter_env.ml
new snapshot
[helm.git] / components / getter / http_getter_env.ml
index 79b0ab42ed927e36eca9d33a7b750f5911b40419..af5896ea83707901343e4fadfe6ccda1e60df189 100644 (file)
@@ -39,7 +39,7 @@ let prefix_RE = Pcre.regexp "^\\s*([^\\s]+)\\s+([^\\s]+)\\s*(.*)$"
 
 let cache_dir  = lazy (normalize_dir (Helm_registry.get "getter.cache_dir"))
 let dtd_dir = lazy (
-  match Helm_registry.get_opt Helm_registry.get_string "getter.dtd_dir" with
+  match Helm_registry.get_opt Helm_registry.string "getter.dtd_dir" with
   | None -> None
   | Some dir -> Some (normalize_dir dir))
 let dtd_base_urls  = lazy (