snapshot (the thing on the doorstep)

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

diff --git a/helm/ocaml/cic_notation/Makefile b/helm/ocaml/cic_notation/Makefile
index 6af1968ec3eea9f51e08637cb632c21a3235d5d6..b383154646687773a680e5dae56aebc6fb96ee06 100644 (file)
--- a/helm/ocaml/cic_notation/Makefile
+++ b/helm/ocaml/cic_notation/Makefile
@@ -5,13 +5,16 @@ REQUIRES = \
        helm-cic                \
        helm-utf8_macros        \
        camlp4.gramlib          \
+       helm-cic_proof_checking \
        ulex                    \
        $(NULL)
 INTERFACE_FILES = \
+       cicNotationUtil.mli     \
        cicNotationLexer.mli    \
        cicNotationEnv.mli      \
        cicNotationPp.mli       \
-       cicNotationSubst.mli    \
+       cicNotationFwd.mli      \
+       cicNotationRew.mli      \
        cicNotationParser.mli   \
        $(NULL)
 IMPLEMENTATION_FILES = \