- let o,_ =
- CicEnvironment.get_cooked_obj ~trust:false CicUniv.oblivion_ugraph ouri
- in
- (* here we should freeze it *)
- false, HExtlib.list_last (OCic2NCic.convert_obj ouri o)
+ let o,_ = CicEnvironment.get_obj CicUniv.oblivion_ugraph ouri in
+ let l = OCic2NCic.convert_obj ouri o in
+ List.iter (fun (u,_,_,_,_ as o) ->
+(* prerr_endline ("+"^NUri.string_of_uri u); *)
+ NUri.UriHash.add cache u (false,o)) l;
+ false, HExtlib.list_last l