- let uri =
- try
- `Uri (UriManager.uri_of_string uri)
- with
- UriManager.IllFormedUri _ ->
- `NRef (NReference.reference_of_string uri)
- in
- (MatitaMathView.cicBrowser ())#load uri));
+ let uri = `NRef (NReference.reference_of_string uri) in
+ (MatitaMathView.cicBrowser ())#load uri));