let rec refresh_uri_in_term =
function
+ | NCic.Meta (i,(n,NCic.Ctx l)) ->
+ NCic.Meta (i,(n,NCic.Ctx (List.map refresh_uri_in_term l)))
+ | NCic.Meta _ as t -> t
| NCic.Const (NReference.Ref (u,spec)) ->
NCic.Const (NReference.reference_of_spec (refresh_uri u) spec)
| NCic.Sort (NCic.Type l) -> NCic.Sort (NCic.Type (refresh_uri_in_universe l))