snapshot, notably:

[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 4abb5b8bc9b37127e77243f74172f025f38e8459..3846bf52857f43c49f1fba9ae6f7763d21317968 100644 (file)
--- a/helm/ocaml/cic_notation/cicNotationMatcher.mli
+++ b/helm/ocaml/cic_notation/cicNotationMatcher.mli
@@ -54,6 +54,7 @@ end
 module Matcher32:
 sig
   val compiler :
-    (CicNotationPt.cic_appl_pattern * int) list ->
+    (GrafiteAst.cic_appl_pattern * int) list ->
       (Cic.annterm -> ((string * Cic.annterm) list * int) option)
 end
+