X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Flibrary%2FcoercDb.ml;h=1f3874912b93ff231ca48563a1c9ad04d6f9e23c;hb=e6c985d94df70748f132df23489ff3b60fd108a5;hp=aec6dd5795bb9051adf78ce7336cc5f34cef6193;hpb=101c21fc36fbbff8805e10cfe80082b3a9b52048;p=helm.git

diff --git a/helm/software/components/library/coercDb.ml b/helm/software/components/library/coercDb.ml
index aec6dd579..1f3874912 100644
--- a/helm/software/components/library/coercDb.ml
+++ b/helm/software/components/library/coercDb.ml
@@ -41,7 +41,7 @@ let coerc_carr_of_term t =
  try
   match t with
    | Cic.Sort s -> Sort s
-   | Cic.Prod _ -> Fun 0
+   | Cic.Prod _ -> assert false
    | Cic.Appl (t::_)
    | t -> Uri (CicUtil.uri_of_term t)
  with Invalid_argument _ ->