X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Flexicon%2FlexiconMarshal.ml;h=5e74e88156c307f16daee7d3e7a0151af335f8f8;hb=f6b7c6ae353e014761a3d24dbc87e00d828d7f2d;hp=6693de21492b394a0817b3fcb41161fd909677d8;hpb=42aa528129728611cae9da02904886522b08f94a;p=helm.git

diff --git a/matita/components/lexicon/lexiconMarshal.ml b/matita/components/lexicon/lexiconMarshal.ml
index 6693de214..5e74e8815 100644
--- a/matita/components/lexicon/lexiconMarshal.ml
+++ b/matita/components/lexicon/lexiconMarshal.ml
@@ -37,14 +37,10 @@ let load_lexicon_from_file ~fname =
   (raw: lexicon)
 
 let rehash_cmd_uris =
-  let rehash_uri uri =
-    UriManager.uri_of_string (UriManager.string_of_uri uri) in
   function
   | LexiconAst.Interpretation (loc, dsc, args, cic_appl_pattern) ->
       let rec aux =
         function
-        | NotationPt.UriPattern uri ->
-            NotationPt.UriPattern (rehash_uri uri)
         | NotationPt.NRefPattern (NReference.Ref (uri,spec)) ->
            let uri = NCicLibrary.refresh_uri uri in
             NotationPt.NRefPattern (NReference.reference_of_spec uri spec)