-
- (**** FIXME ******)
- if is_cic_uri uri && Pcre.pmatch ~pat:"\\.univ$" uri then
- begin
- prerr_endline "!!! E' in ~tassi !!!";
- "file:///home/tassi/mylib" ^
- (String.sub uri 4 ((String.length uri) - 4)) ^ ".xml.gz"
- end
- else
- (map_of_uri uri)#resolve uri