X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fng_cic_content%2Fncic2astMatcher.mli;h=47721cf4ee346a290dfe0149277e27cef8cac198;hb=68e028d053806177e218ee1a5f8778d3011bef83;hp=6205f852211aa52ecc388cff01b30de1cdf046c1;hpb=2c01ff6094173915e7023076ea48b5804dca7778;p=helm.git

diff --git a/matita/components/ng_cic_content/ncic2astMatcher.mli b/matita/components/ng_cic_content/ncic2astMatcher.mli
index 6205f8522..47721cf4e 100644
--- a/matita/components/ng_cic_content/ncic2astMatcher.mli
+++ b/matita/components/ng_cic_content/ncic2astMatcher.mli
@@ -23,13 +23,12 @@
  * 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) *)
   val compiler :
-    (CicNotationPt.cic_appl_pattern * int) list ->
+   #NCic.status ->
+    (NotationPt.cic_appl_pattern * int) list ->
       (NCic.term ->
         ((string * NCic.term) list * NCic.term list * int) option)
 end