From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Fri, 21 Sep 2007 20:47:15 +0000 (+0000)
Subject: bug fix in configuration dependences
X-Git-Tag: make_still_working~6001
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=4d8636c99df23a2583397693008897eb04e4f69c;p=helm.git

bug fix in configuration dependences
---

diff --git a/helm/software/matita/matitaInit.ml b/helm/software/matita/matitaInit.ml
index 26f4b40ff..cf821c167 100644
--- a/helm/software/matita/matitaInit.ml
+++ b/helm/software/matita/matitaInit.ml
@@ -112,7 +112,7 @@ let initialize_makelib init_status =
     init_status
 
 let initialize_environment init_status = 
-  wants [ConfigurationFile] init_status;
+  wants [CmdLine] init_status;
   if not (already_configured [Getter;Environment] init_status) then
     begin
       Http_getter.init ();