- removed applyStylesheets

[helm.git] / helm / ocaml / cic_unification / coercGraph.ml

diff --git a/helm/ocaml/cic_unification/coercGraph.ml b/helm/ocaml/cic_unification/coercGraph.ml
index e01f28eb3fcc1994f068dbc86926e6dff42a614c..e256a19b82545562e990493c72429c7c85b3effc 100644 (file)
--- a/helm/ocaml/cic_unification/coercGraph.ml
+++ b/helm/ocaml/cic_unification/coercGraph.ml
@@ -196,7 +196,7 @@ let close_coercion_graph src tgt uri =
 
 
 (* stupid case *)
-
+(*
 let l = close_coercion_graph 
  (UriManager.uri_of_string
  "cic:/CoRN/algebra/CRings/CRing.ind#xpointer(1/1)")
@@ -210,7 +210,7 @@ in
    prerr_endline (UriManager.string_of_uri u);
    prerr_endline "")
  l
- 
+*) 
  
 
 (* EOF *)