+
+ (**** 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
+