From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 21 Jul 2005 16:37:34 +0000 (+0000)
Subject: Bug fixed: LICENSE and AUTHORS were searched in the current dir :-(
X-Git-Tag: V_0_7_2~118
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=2da3c84c4badb8e6836e9dd6efe7e0d524234b28;p=helm.git

Bug fixed: LICENSE and AUTHORS were searched in the current dir :-(
---

diff --git a/helm/matita/matitaGui.ml b/helm/matita/matitaGui.ml
index 3e8fde7a9..8dc0cf313 100644
--- a/helm/matita/matitaGui.ml
+++ b/helm/matita/matitaGui.ml
@@ -154,7 +154,7 @@ class gui () =
         [ ];
         (* about win *)
       let parse_txt_file file =
-       let ch = open_in file in
+       let ch = open_in (BuildTimeConf.runtime_base_dir ^ "/" ^ file) in
        let l_rev = ref [] in
        try
         while true do