let module G = Getter in
let module U = UriManager in
let cicfilename = G.getxml (U.cicuri_of_uri uri) in
- match CicParser.term_of_xml cicfilename uri false with
- (_, Some _) -> assert false
- | (annobj, None) -> annobj
+ CicParser.annobj_of_xml cicfilename uri
;;
let get_obj uri =
- Deannotate.deannotate_obj (get_annobj uri)
+ let module G = Getter in
+ let module U = UriManager in
+ let cicfilename = G.getxml (U.cicuri_of_uri uri) in
+ CicParser.obj_of_xml cicfilename uri
;;