X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Finterface%2Fconfiguration.ml;h=6b0facf3398d3df21855657a19da923b7d8e7d99;hb=refs%2Ftags%2Finitial;hp=9a36cb37dc52e1de0ddcbadbff4a76bae2e884b3;hpb=7dc1b477124b604ecbe7018ac2a45765420488a5;p=helm.git

diff --git a/helm/interface/configuration.ml b/helm/interface/configuration.ml
index 9a36cb37d..6b0facf33 100644
--- a/helm/interface/configuration.ml
+++ b/helm/interface/configuration.ml
@@ -10,14 +10,7 @@
 (******************************************************************************)
 
 (* this should be the only hard coded constant *)
-let filename =
- let prefix =
-  try
-   Sys.getenv "HELM_CONFIGURATION_PREFIX"
-  with
-   Not_found -> ""
- in
-  prefix ^ "/local/etc/helm/configuration.xml";;
+let filename = "/home/cadet/sacerdot/local/etc/helm/configuration.xml";;
 
 exception Warnings;;