snapshot (minor changes)

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

diff --git a/helm/ocaml/cic_notation/Makefile b/helm/ocaml/cic_notation/Makefile
index a976a283d7d6edd7dbaa0ce908552c666c0359b3..76048ac8070d8c7dab979a73812d5f50c0b139a9 100644 (file)
--- 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   \