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=53c39ee5e95d489aa2e3015afa7e66d444f487e3;hb=9230a8085102cd39258c047949e87001be6ffcf0;hp=9f8a0cb38207e9d28d837231d72cfa39cc287d85;hpb=2468d0398195d41200bfd07db68fa675dc90b875;p=helm.git

diff --git a/helm/ocaml/cic_notation/Makefile b/helm/ocaml/cic_notation/Makefile
index 9f8a0cb38..53c39ee5e 100644
--- a/helm/ocaml/cic_notation/Makefile
+++ b/helm/ocaml/cic_notation/Makefile
@@ -9,6 +9,8 @@ REQUIRES = \
 	$(NULL)
 INTERFACE_FILES = \
 	cicNotationLexer.mli	\
+	cicNotationEnv.mli	\
+	cicNotationPp.mli	\
 	cicNotationParser.mli	\
 	$(NULL)
 IMPLEMENTATION_FILES = \