X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fgetter%2Fconfiguration.ml;h=d5fd0e40f5c29647bdf83a97a42eb61eca706d78;hb=d85b0968d751d57274b253f1fcf239aa171b8e69;hp=16dc9d0f585aed1d27cd28384849c54ff6210c33;hpb=fcd8c85d7834c7f35b1d04c55c87dfa9a0d96438;p=helm.git

diff --git a/helm/ocaml/getter/configuration.ml b/helm/ocaml/getter/configuration.ml
index 16dc9d0f5..d5fd0e40f 100644
--- a/helm/ocaml/getter/configuration.ml
+++ b/helm/ocaml/getter/configuration.ml
@@ -104,7 +104,8 @@ let read_configuration_var xml_name =
    flush stdout ;
    raise Not_found
 
-let tmp_dir       = read_configuration_var_env "tmp_dir" "HELM_TMP_DIR";;
+(* Zack: no longer used *)
+(* let tmp_dir       = read_configuration_var_env "tmp_dir" "HELM_TMP_DIR";; *)
 let getter_url    = read_configuration_var_env "getter_url" "HELM_GETTER_URL";;
 let processor_url = read_configuration_var_env "processor_url" "HELM_PROCESSOR_URL";;
 let annotations_dir = read_configuration_var_env "annotations_dir" "HELM_ANNOTATIONS_DIR"