Huge commit with several changes:

[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..ba7e583d555c8eb882b1f994bf8ba5b0d4312052 100644 (file)
--- a/helm/software/components/lexicon/lexiconMarshal.ml
+++ b/helm/software/components/lexicon/lexiconMarshal.ml
@@ -45,6 +45,7 @@ let rehash_cmd_uris =
         function
         | CicNotationPt.UriPattern uri ->
             CicNotationPt.UriPattern (rehash_uri uri)
+        | CicNotationPt.NRefPattern _ -> assert false
         | CicNotationPt.ApplPattern args ->
             CicNotationPt.ApplPattern (List.map aux args)
         | CicNotationPt.VarPattern _