X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Flexicon%2FlexiconMarshal.ml;h=5d69fafc002cd6751f69813d026720a068d3654a;hb=ce0e8e7fc59e6a1f7ed6038370bdc1de096cdc01;hp=ba7e583d555c8eb882b1f994bf8ba5b0d4312052;hpb=11b2157bacf59cfc561c2ef6f92ee41ee2c1a006;p=helm.git

diff --git a/helm/software/components/lexicon/lexiconMarshal.ml b/helm/software/components/lexicon/lexiconMarshal.ml
index ba7e583d5..5d69fafc0 100644
--- a/helm/software/components/lexicon/lexiconMarshal.ml
+++ b/helm/software/components/lexicon/lexiconMarshal.ml
@@ -45,7 +45,9 @@ let rehash_cmd_uris =
         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 _