]> matita.cs.unibo.it Git - helm.git/commitdiff
syntax error fixed
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 28 Dec 2000 15:22:54 +0000 (15:22 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 28 Dec 2000 15:22:54 +0000 (15:22 +0000)
helm/http_getter/http_getter.pl.in

index 206ba6b4ef911ed7c489eaedbed04103735a217f..fde70e168177b78a74ca178e0a03eec23fd08d17 100755 (executable)
@@ -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";