X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fng_cic_content%2Fncic2astMatcher.mli;h=5d1e2c571ea88a6d2cf01dae746107df7fcac4d0;hb=f6b7c6ae353e014761a3d24dbc87e00d828d7f2d;hp=1feae63b01be371cf8cc1f98d1efefe53087013f;hpb=42aa528129728611cae9da02904886522b08f94a;p=helm.git

diff --git a/matita/components/ng_cic_content/ncic2astMatcher.mli b/matita/components/ng_cic_content/ncic2astMatcher.mli
index 1feae63b0..5d1e2c571 100644
--- a/matita/components/ng_cic_content/ncic2astMatcher.mli
+++ b/matita/components/ng_cic_content/ncic2astMatcher.mli
@@ -23,8 +23,6 @@
  * http://helm.cs.unibo.it/
  *)
 
-val set_reference_of_oxuri: (UriManager.uri -> NReference.reference) -> unit
-
 module Matcher32:
 sig
   (** @param l3_patterns level 3 (CIC) patterns (AKA cic_appl_pattern) *)