merged cic_notation with disambiguation: good luck!

[helm.git] / helm / ocaml / cic_notation / cicNotationMatcher.mli

diff --git a/helm/ocaml/cic_notation/cicNotationMatcher.mli b/helm/ocaml/cic_notation/cicNotationMatcher.mli
index 3846bf52857f43c49f1fba9ae6f7763d21317968..4a9d4a27548b5e1a5e809a45915de74485148ba6 100644 (file)
--- 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