X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fcontent_pres%2Fcontent2presMatcher.mli;h=4ddfb712906bfefb2e1efd042974ea4825126096;hb=8a660ee06d72cfee52c707bb1d8d8be3bab0d682;hp=86b97b6d8739b22b2c76f02014ac7281ce5d1b29;hpb=5553ac7623425bce6f34eed6e17d4f0f8163e9aa;p=helm.git

diff --git a/matita/components/content_pres/content2presMatcher.mli b/matita/components/content_pres/content2presMatcher.mli
index 86b97b6d8..4ddfb7129 100644
--- 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