From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
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";