let get_obj uri =
let cicfilename = Getter.getxml uri in
- let res =
- match CicParser.term_of_xml cicfilename uri false with
- (annobj, None) ->
- Deannotate.deannotate_obj annobj
- | _ -> assert false
- in
+ let res = CicParser.obj_of_xml cicfilename uri in
Unix.unlink cicfilename ;
res
;;