PREDICATES =
INTERFACE_FILES = \
- nRefiner.mli
+ nDiscriminationTree.mli \
+ nCicMetaSubst.mli \
+ nCicUnifHint.mli \
+ nCicCoercion.mli \
+ nRstatus.mli \
+ nCicUnification.mli \
+ nCicRefiner.mli
IMPLEMENTATION_FILES = \
$(INTERFACE_FILES:%.mli=%.ml)