cicNotation* ==> notation*

[helm.git] / matita / components / content_pres / content2presMatcher.mli

diff --git a/matita/components/content_pres/content2presMatcher.mli b/matita/components/content_pres/content2presMatcher.mli
index 86b97b6d8739b22b2c76f02014ac7281ce5d1b29..4ddfb712906bfefb2e1efd042974ea4825126096 100644 (file)
--- a/matita/components/content_pres/content2presMatcher.mli
+++ b/matita/components/content_pres/content2presMatcher.mli
@@ -27,8 +27,8 @@ module Matcher21:
 sig
   (** @param l2_patterns level 2 (AST) patterns *)
   val compiler :
-    (CicNotationPt.term * int) list ->
-      (CicNotationPt.term ->
-        (CicNotationEnv.t * CicNotationPt.term list * int) option)
+    (NotationPt.term * int) list ->
+      (NotationPt.term ->
+        (NotationEnv.t * NotationPt.term list * int) option)
 end