- cic_exportation, cic_acic, acic_content (only parts related to acic)

[helm.git] / matita / components / library / coercDb.ml

diff --git a/matita/components/library/coercDb.ml b/matita/components/library/coercDb.ml
index b7e3902296fc986edbffe93a7f5a161542c33e62..0bd9461ca1207d59aeaefd52fbae4c13c12c5535 100644 (file)
--- a/matita/components/library/coercDb.ml
+++ b/matita/components/library/coercDb.ml
@@ -70,6 +70,7 @@ let string_of_carr = function
 ;;
 
 let eq_carr ?(exact=false) src tgt =
+  assert false (* MATITA 1.0
   match src, tgt with
   | Uri src, Uri tgt -> 
       let coarse_eq = UriManager.eq src tgt in
@@ -83,6 +84,7 @@ let eq_carr ?(exact=false) src tgt =
   | Fun _,Fun _ when not exact -> true (* only one Funclass *)
   | Fun i,Fun j when i = j -> true (* only one Funclass *)
   | _, _ -> false
+  *)
 ;;
 
 let to_list db =