sprintf "Parse error at %d-%d: %s" x y err
| UriManager.IllFormedUri uri -> sprintf "invalid uri: %s" uri
| CicEnvironment.Object_not_found uri ->
sprintf "object not found: %s" (UriManager.string_of_uri uri)
sprintf "Parse error at %d-%d: %s" x y err
| UriManager.IllFormedUri uri -> sprintf "invalid uri: %s" uri
| CicEnvironment.Object_not_found uri ->
sprintf "object not found: %s" (UriManager.string_of_uri uri)