cicNotation* ==> notation*

[helm.git] / matita / components / ng_cic_content / ncic2astMatcher.mli

diff --git a/matita/components/ng_cic_content/ncic2astMatcher.mli b/matita/components/ng_cic_content/ncic2astMatcher.mli
index 6205f852211aa52ecc388cff01b30de1cdf046c1..1feae63b01be371cf8cc1f98d1efefe53087013f 100644 (file)
--- a/matita/components/ng_cic_content/ncic2astMatcher.mli
+++ b/matita/components/ng_cic_content/ncic2astMatcher.mli
@@ -29,7 +29,7 @@ module Matcher32:
 sig
   (** @param l3_patterns level 3 (CIC) patterns (AKA cic_appl_pattern) *)
   val compiler :
-    (CicNotationPt.cic_appl_pattern * int) list ->
+    (NotationPt.cic_appl_pattern * int) list ->
       (NCic.term ->
         ((string * NCic.term) list * NCic.term list * int) option)
 end