X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Focaml%2Fcic_notation%2FcicNotationMatcher.mli;h=4a9d4a27548b5e1a5e809a45915de74485148ba6;hb=91a095f0686ee569ba035e4e30c7d071588cb8e7;hp=3846bf52857f43c49f1fba9ae6f7763d21317968;hpb=34113d572c334c351ba66f4b05db503eed4d48f2;p=helm.git

diff --git a/helm/ocaml/cic_notation/cicNotationMatcher.mli b/helm/ocaml/cic_notation/cicNotationMatcher.mli
index 3846bf528..4a9d4a275 100644
--- a/helm/ocaml/cic_notation/cicNotationMatcher.mli
+++ b/helm/ocaml/cic_notation/cicNotationMatcher.mli
@@ -54,7 +54,7 @@ end
 module Matcher32:
 sig
   val compiler :
-    (GrafiteAst.cic_appl_pattern * int) list ->
+    (CicNotationPt.cic_appl_pattern * int) list ->
       (Cic.annterm -> ((string * Cic.annterm) list * int) option)
 end