X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhttp_getter%2Fhttp_getter.pl.in;h=bee3315e7583cb9e1a98700559c36fc9eafb34b4;hb=4e8b137b58ec6763785b8ee490ee8cd6cb77b5bf;hp=f0392de2caa9acd9cbafb1b4805ba6f71e28e1c3;hpb=d71338dee9f65981e827bca3b4d6d79c0197b4d9;p=helm.git

diff --git a/helm/http_getter/http_getter.pl.in b/helm/http_getter/http_getter.pl.in
index f0392de2c..bee3315e7 100755
--- a/helm/http_getter/http_getter.pl.in
+++ b/helm/http_getter/http_getter.pl.in
@@ -27,7 +27,7 @@
 use Env;
 my $HELM_LIB_DIR = $ENV{"HELM_LIB_DIR"};
 # this should be the only fixed constant
-my $DEFAULT_HELM_LIB_DIR = "@DEFAULT_HELM_LIB_DIR@";
+my $DEFAULT_HELM_LIB_DIR = "@HELM_LIB_DIR@";
 if (defined ($HELM_LIB_DIR)) {
    $HELM_LIB_PATH = $HELM_LIB_DIR."/configuration.pl";
 } else {