X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_notation%2FMakefile;fp=helm%2Focaml%2Fcic_notation%2FMakefile;h=76048ac8070d8c7dab979a73812d5f50c0b139a9;hb=50377dde5b5b1a8e5c7b2fb48b47defde9508b50;hp=7102f2ea7b82207bb17a46ebbf0afbfcf404bc9a;hpb=1b21075e987872a2e3103203b4e67c939e4a9f6a;p=helm.git

diff --git a/helm/ocaml/cic_notation/Makefile b/helm/ocaml/cic_notation/Makefile
index 7102f2ea7..76048ac80 100644
--- a/helm/ocaml/cic_notation/Makefile
+++ b/helm/ocaml/cic_notation/Makefile
@@ -14,6 +14,7 @@ INTERFACE_FILES = \
 	cicNotationLexer.mli	\
 	cicNotationEnv.mli	\
 	cicNotationPp.mli	\
+	cicNotationMatcher.mli	\
 	cicNotationFwd.mli	\
 	cicNotationRew.mli	\
 	cicNotationParser.mli	\