From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Thu, 3 Feb 2005 10:40:49 +0000 (+0000)
Subject: removed spurious load of a local gTopLevel.conf.xml
X-Git-Tag: V_0_1_0~62
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=51971de8dfcf257680cf38f01f9bf53d9912a498;p=helm.git

removed spurious load of a local gTopLevel.conf.xml
---

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)",