- let annfilename = G.getxml (U.annuri_of_uri uri) in
- Some (CicAnnotationParser.get_annotations annfilename)
+ let annfilename = Http_getter.getxml' (U.annuri_of_uri uri) in
+ let res =
+ Some (CicAnnotationParser.get_annotations annfilename)
+ in
+ Unix.unlink annfilename ;
+ res