snapshot

[helm.git] / helm / ocaml / cic_notation / Makefile

diff --git a/helm/ocaml/cic_notation/Makefile b/helm/ocaml/cic_notation/Makefile
index 9f8a0cb38207e9d28d837231d72cfa39cc287d85..53c39ee5e95d489aa2e3015afa7e66d444f487e3 100644 (file)
--- 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 = \