snapshot (first working implementation of parttern matching from level 2

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

diff --git a/helm/ocaml/cic_notation/Makefile b/helm/ocaml/cic_notation/Makefile
index a976a283d7d6edd7dbaa0ce908552c666c0359b3..7102f2ea7b82207bb17a46ebbf0afbfcf404bc9a 100644 (file)
--- a/helm/ocaml/cic_notation/Makefile
+++ b/helm/ocaml/cic_notation/Makefile
@@ -10,6 +10,7 @@ REQUIRES = \
        $(NULL)
 INTERFACE_FILES = \
        cicNotationUtil.mli     \
+       cicNotationTag.mli      \
        cicNotationLexer.mli    \
        cicNotationEnv.mli      \
        cicNotationPp.mli       \