From: Claudio Sacerdoti Coen Date: Thu, 28 Dec 2000 15:22:54 +0000 (+0000) Subject: syntax error fixed X-Git-Tag: nogzip~31 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=d30b81ca62c2cb11b9ec418484f2d9c298f83f72;p=helm.git syntax error fixed --- diff --git a/helm/http_getter/http_getter.pl.in b/helm/http_getter/http_getter.pl.in index 206ba6b4e..fde70e168 100755 --- a/helm/http_getter/http_getter.pl.in +++ b/helm/http_getter/http_getter.pl.in @@ -5,7 +5,7 @@ use Env; my $HELM_LIBRARY_DIR = $ENV{"HELM_LIBRARY_DIR"}; # this should be the only fixed constant my $DEFAULT_HELM_LIBRARY_DIR = "@DEFAULT_HELM_LIBRARY_DIR@"; -if (defined ($HELM_LIBRARY_DIR) { +if (defined ($HELM_LIBRARY_DIR)) { $HELM_LIBRARY_PATH = $HELM_LIBRARY_DIR."./configuration.pl"; } else { $HELM_LIBRARY_PATH = $DEFAULT_HELM_LIBRARY_DIR."./configuration.pl";