snapshot

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

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