let test_uri uri =
let obj = CicCache.get_obj uri in
let (annobj, _, _, ids_to_inner_sorts, _, _, _) =
- Cic2acic.acic_object_of_cic_object obj
+ Cic2acic.acic_object_of_cic_object ~eta_fix:false obj
in
let ids_to_uris = Hashtbl.create 1023 in
let round_trip annterm =