let projections_of uri field_names =
let buri = UriManager.buri_of_uri uri in
- let obj,ugraph = CicEnvironment.get_cooked_obj CicUniv.empty_ugraph uri in
+ let obj,ugraph = CicEnvironment.get_cooked_obj CicUniv.oblivion_ugraph uri in
match obj with
Cic.InductiveDefinition ([_,_,sort,[_,ty]],params,paramsno,_) ->
assert (params = []); (* general case not implemented *)