let uris =
match uris with
| [] ->
- [UriManager.string_of_uri (C.input_or_locate_uri
+ [(C.input_or_locate_uri
~title:("URI matching \"" ^ id ^ "\" unknown.") ~id ())]
| [uri] -> [uri]
| _ ->
in
List.map
(fun uri ->
- (uri,
+ (UriManager.string_of_uri uri,
let term =
try
- CicUtil.term_of_uri uri
+ CicUtil.term_of_uri (UriManager.string_of_uri uri)
with exn ->
- debug_print uri;
+ debug_print (UriManager.string_of_uri uri);
debug_print (Printexc.to_string exn);
assert false
in