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

diff --git a/helm/gTopLevel/testlibrary.ml b/helm/gTopLevel/testlibrary.ml
index a60aada5d3380d26222767970cc78c1efe3d6ac5..fc5fa2e79e022608fb78712e2706445732318df7 100644 (file)
--- 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)