urimanager removed

[helm.git] / matita / components / lexicon / lexiconEngine.ml

diff --git a/matita/components/lexicon/lexiconEngine.ml b/matita/components/lexicon/lexiconEngine.ml
index 8a5b50354ee6b8eed3b47f1e275781d3f53021da..a0dfb87cf227a375ebc2e3a59243b2a2e54bf0ea 100644 (file)
--- a/matita/components/lexicon/lexiconEngine.ml
+++ b/matita/components/lexicon/lexiconEngine.ml
@@ -135,12 +135,7 @@ let rec eval_command ?(mode=L.WithPreferences) sstatus cmd =
             begin try
               match DisambiguateTypes.Environment.find item status.aliases with
                  L.Ident_alias (_, uri) ->
-                  (try
-                    NotationPt.NRefPattern
-                     (NReference.reference_of_string uri)
-                   with
-                    NReference.IllFormedReference _ ->
-                     NotationPt.UriPattern (UriManager.uri_of_string uri))
+                  NotationPt.NRefPattern (NReference.reference_of_string uri)
                | _ -> assert false
              with Not_found -> 
               prerr_endline ("LexiconEngine.eval_command: domain item not found: " ^