function
| CicNotationPt.UriPattern uri ->
CicNotationPt.UriPattern (rehash_uri uri)
- | CicNotationPt.NRefPattern _ -> assert false
+ | CicNotationPt.NRefPattern (NReference.Ref (uri,spec)) ->
+ let uri = NCicLibrary.refresh_uri uri in
+ CicNotationPt.NRefPattern (NReference.reference_of_spec uri spec)
| CicNotationPt.ApplPattern args ->
CicNotationPt.ApplPattern (List.map aux args)
| CicNotationPt.VarPattern _