X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Finterface%2Fconfiguration.ml.in;h=d78e0b36101a9f0e19bd624e5236576714c05aaf;hb=4ef40e8fb4de63f9699268b389f052007bc87f54;hp=2177397eeec2623c3ade7f0db6e65631f9b3d05e;hpb=2540cc551ae097178c7e11ec578b58977a35bd3b;p=helm.git

diff --git a/helm/interface/configuration.ml.in b/helm/interface/configuration.ml.in
index 2177397ee..d78e0b361 100644
--- a/helm/interface/configuration.ml.in
+++ b/helm/interface/configuration.ml.in
@@ -15,7 +15,7 @@ let filename =
   try
    Sys.getenv "HELM_CONFIGURATION_DIR"
   with
-   Not_found -> "@HELM_DEFAULT_CONFIGURATION_DIR@"
+   Not_found -> "@HELM_CONFIGURATION_DIR@"
  in
   prefix ^ "/configuration.xml";;