X.xml_nempty "LAMBDA" ["sort",sort]
[< List.fold_left
(fun i (id,binder,s) ->
- let sort = Hashtbl.find ids_to_inner_sorts id in
+ let sort = Hashtbl.find ids_to_inner_sorts (Cic2acic.source_id_of_id id) in
+ let _ = prerr_endline ("AHHHHHHHHHHHHHHHHH" ^ sort) in
let attrs =
("id",id)::("type",sort)::
match binder with