| NotationPt.NRefPattern (NReference.Ref (uri,spec)) ->
let uri = NCicLibrary.refresh_uri uri in
NotationPt.NRefPattern (NReference.reference_of_spec uri spec)
| NotationPt.NRefPattern (NReference.Ref (uri,spec)) ->
let uri = NCicLibrary.refresh_uri uri in
NotationPt.NRefPattern (NReference.reference_of_spec uri spec)