From 51971de8dfcf257680cf38f01f9bf53d9912a498 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Thu, 3 Feb 2005 10:40:49 +0000 Subject: [PATCH] removed spurious load of a local gTopLevel.conf.xml --- helm/ocaml/cic_unification/coercGraph.ml | 2 -- 1 file changed, 2 deletions(-) diff --git a/helm/ocaml/cic_unification/coercGraph.ml b/helm/ocaml/cic_unification/coercGraph.ml index eb1dc44ae..712e8aae2 100644 --- a/helm/ocaml/cic_unification/coercGraph.ml +++ b/helm/ocaml/cic_unification/coercGraph.ml @@ -25,8 +25,6 @@ open Printf;; -ignore(Helm_registry.load_from "/home/tassi/helm/gTopLevel/gTopLevel.conf.xml") - (* the list of known coercions (MUST be transitively closed) *) let coercions = ref [ (UriManager.uri_of_string "cic:/Coq/Init/Datatypes/nat.ind#xpointer(1/1)", -- 2.39.2