From 7938c0aa7ee2f7667dbdb74139043b095d646026 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 26 Feb 2004 16:32:43 +0000
Subject: [PATCH 1/1] triciclo.conf.xml ==> gTopLevel.conf.xml

---
 helm/gTopLevel/testlibrary.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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)
-- 
2.39.2