X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_notation%2FMakefile;h=76048ac8070d8c7dab979a73812d5f50c0b139a9;hb=9f8a383035b272c628c555b728e84caf9229cd57;hp=a976a283d7d6edd7dbaa0ce908552c666c0359b3;hpb=7f72a2bf9a6f79c58048c594dc390265365face8;p=helm.git

diff --git a/helm/ocaml/cic_notation/Makefile b/helm/ocaml/cic_notation/Makefile
index a976a283d..76048ac80 100644
--- a/helm/ocaml/cic_notation/Makefile
+++ b/helm/ocaml/cic_notation/Makefile
@@ -10,9 +10,11 @@ REQUIRES = \
 	$(NULL)
 INTERFACE_FILES = \
 	cicNotationUtil.mli	\
+	cicNotationTag.mli	\
 	cicNotationLexer.mli	\
 	cicNotationEnv.mli	\
 	cicNotationPp.mli	\
+	cicNotationMatcher.mli	\
 	cicNotationFwd.mli	\
 	cicNotationRew.mli	\
 	cicNotationParser.mli	\