BIG FAT COMMIT REGARDING COERCIONS:

[helm.git] / components / library / coercDb.mli

diff --git a/components/library/coercDb.mli b/components/library/coercDb.mli
index 92d4b7f2484e231e1547a62899fe094ece785c79..d8a8b0574de506f222da61acfb073f9074723896 100644 (file)
--- a/components/library/coercDb.mli
+++ b/components/library/coercDb.mli
@@ -36,6 +36,8 @@ type coerc_carr =
   | Uri of UriManager.uri (* const, mutind, mutconstr *)
   | Sort of Cic.sort (* Prop, Set, Type *) 
   | Term of Cic.term (* nothing supported *)
+  | Fun of int
+;;
   
 exception EqCarrNotImplemented of string Lazy.t
 exception EqCarrOnNonMetaClosed