1) Include files for NG were neither recursively processes nor accumulated.

[helm.git] / helm / software / components / lexicon / lexiconMarshal.ml

diff --git a/helm/software/components/lexicon/lexiconMarshal.ml b/helm/software/components/lexicon/lexiconMarshal.ml
index 7b9422db577ad66f1daebad802e362976c7cfb4d..5d69fafc002cd6751f69813d026720a068d3654a 100644 (file)
--- 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 _