- (* here we should freeze it *)
- false, HExtlib.list_last (OCic2NCic.convert_obj ouri o)
+ 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