X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmetadata%2Fcreate2%2Fmk_forward%2Fmk_forward.ml;h=e97ed33476e05b2c3e7072e2fca30a39dd1a89c1;hb=fde0ad77237a2fbdfb5621d5b5085fe7c82e3f92;hp=7880b07b671bd9763e48f5eaa0613b93b26f14d9;hpb=098a865a070baf2bf873f32d347beb9965e1d5b3;p=helm.git

diff --git a/helm/metadata/create2/mk_forward/mk_forward.ml b/helm/metadata/create2/mk_forward/mk_forward.ml
index 7880b07b6..e97ed3347 100644
--- a/helm/metadata/create2/mk_forward/mk_forward.ml
+++ b/helm/metadata/create2/mk_forward/mk_forward.ml
@@ -207,7 +207,6 @@ let process_type term =
     | C.Appl _ -> assert false
     | C.Const (uri,_) ->
        UriHash.add_uri (U.string_of_uri uri) kind
-    | C.Abst _ -> assert false
     | C.MutInd (uri,_,typeno) ->
        H.add_uri
         (U.string_of_uri uri ^ "#xpointer(1/" ^
@@ -267,7 +266,6 @@ let process_body =
        List.iter process_body_aux l
     | C.Const (uri,_) ->
        UriHash.add_uri (U.string_of_uri uri) H.InBody
-    | C.Abst _ -> assert false
     | C.MutInd (uri,_,typeno) ->
        H.add_uri
         (U.string_of_uri uri ^ "#xpointer(1/" ^