refactored modules structure

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

diff --git a/helm/ocaml/cic_notation/Makefile b/helm/ocaml/cic_notation/Makefile
index 53c39ee5e95d489aa2e3015afa7e66d444f487e3..6af1968ec3eea9f51e08637cb632c21a3235d5d6 100644 (file)
--- a/helm/ocaml/cic_notation/Makefile
+++ b/helm/ocaml/cic_notation/Makefile
@@ -11,6 +11,7 @@ INTERFACE_FILES = \
        cicNotationLexer.mli    \
        cicNotationEnv.mli      \
        cicNotationPp.mli       \
+       cicNotationSubst.mli    \
        cicNotationParser.mli   \
        $(NULL)
 IMPLEMENTATION_FILES = \