X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Fcomponents%2Flexicon%2FlexiconMarshal.ml;h=5d69fafc002cd6751f69813d026720a068d3654a;hb=HEAD;hp=7b9422db577ad66f1daebad802e362976c7cfb4d;hpb=55b82bd235d82ff7f0a40d980effe1efde1f5073;p=helm.git

diff --git a/helm/software/components/lexicon/lexiconMarshal.ml b/helm/software/components/lexicon/lexiconMarshal.ml
index 7b9422db5..5d69fafc0 100644
--- a/helm/software/components/lexicon/lexiconMarshal.ml
+++ b/helm/software/components/lexicon/lexiconMarshal.ml
@@ -45,6 +45,9 @@ let rehash_cmd_uris =
         function
         | CicNotationPt.UriPattern uri ->
             CicNotationPt.UriPattern (rehash_uri uri)
+        | 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 _