From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 26 Feb 2004 16:32:43 +0000 (+0000)
Subject: triciclo.conf.xml ==> gTopLevel.conf.xml
X-Git-Tag: v0_0_4~66
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=7938c0aa7ee2f7667dbdb74139043b095d646026;p=helm.git

triciclo.conf.xml ==> gTopLevel.conf.xml
---

diff --git a/helm/gTopLevel/testlibrary.ml b/helm/gTopLevel/testlibrary.ml
index a60aada5d..fc5fa2e79 100644
--- a/helm/gTopLevel/testlibrary.ml
+++ b/helm/gTopLevel/testlibrary.ml
@@ -130,7 +130,7 @@ let do_file status fname =
       fname (Printexc.to_string exn)
 
 let _ =
-  Helm_registry.load_from "triciclo.conf.xml";
+  Helm_registry.load_from "gTopLevel.conf.xml";
   HelmLogger.register_log_callback
    (fun ?(append_NL = true) msg ->
      (if append_NL then prerr_endline else prerr_string)