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

index da24bf10fbd950b2b2904aef6982dd5f872f704b..67e5f866c8b28ee0fcdcc9c1a92d52c34381b833 100644 (file)
@@ -4,7 +4,7 @@ use Env;
 my $HELM_CONFIGURATION_DIR = $ENV{"HELM_CONFIGURATION_DIR"};
 my $DEFAULT_HELM_CONFIGURATION_DIR = "@HELM_ETC_DIR@";
 # this should be the only fixed constant
-if (defined ($HELM_CONFIGURATION_DIR) {
+if (defined ($HELM_CONFIGURATION_DIR)) {
    $configuration_file = $HELM_CONFIGURATION_DIR."/configuration.xml";
 } else {
    $configuration_file = $DEFAULT_HELM_CONFIGURATION_DIR."/configuration.xml";