X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_unification%2FcoercDb.mli;h=2d7a11cae0123d31367f18f9b500addc40c85da7;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=7b0e6c5317c15c8c69a99c2ff23419a732c492eb;hpb=0245778d76e4d7656c1d8a05dc19738f1a953d68;p=helm.git

diff --git a/helm/ocaml/cic_unification/coercDb.mli b/helm/ocaml/cic_unification/coercDb.mli
index 7b0e6c531..2d7a11cae 100644
--- a/helm/ocaml/cic_unification/coercDb.mli
+++ b/helm/ocaml/cic_unification/coercDb.mli
@@ -25,7 +25,7 @@
 
   (** XXX WARNING: non-reentrant *)
 type coerc_carr = Uri of UriManager.uri | Sort of Cic.sort | Term of Cic.term
-exception EqCarrNotImplemented of string
+exception EqCarrNotImplemented of string Lazy.t
 exception EqCarrOnNonMetaClosed
 val eq_carr: coerc_carr -> coerc_carr -> bool
 val coerc_carr_of_term: Cic.term -> coerc_carr