X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_notation%2FcicNotationMatcher.mli;h=4a9d4a27548b5e1a5e809a45915de74485148ba6;hb=5c9e1997848c2f74297a5a243679f4bcb6ae0dc7;hp=4abb5b8bc9b37127e77243f74172f025f38e8459;hpb=fa143d13b855aa48a11f3230a139f39ce2df0984;p=helm.git

diff --git a/helm/ocaml/cic_notation/cicNotationMatcher.mli b/helm/ocaml/cic_notation/cicNotationMatcher.mli
index 4abb5b8bc..4a9d4a275 100644
--- a/helm/ocaml/cic_notation/cicNotationMatcher.mli
+++ b/helm/ocaml/cic_notation/cicNotationMatcher.mli
@@ -57,3 +57,4 @@ sig
     (CicNotationPt.cic_appl_pattern * int) list ->
       (Cic.annterm -> ((string * Cic.annterm) list * int) option)
 end
+