X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_notation%2FMakefile;h=76048ac8070d8c7dab979a73812d5f50c0b139a9;hb=bf6144a808a16d4e576e56593bbcd63b8db5fe4c;hp=7102f2ea7b82207bb17a46ebbf0afbfcf404bc9a;hpb=dbcc29c0e46454c7e31b485135900ceab38627e1;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	\