nCicCoercion.cmx : nDiscriminationTree.cmx nCicUnifHint.cmx \
    nCicMetaSubst.cmx nCicCoercion.cmi
nCicCoercion.cmi : nCicUnifHint.cmi
nCicMetaSubst.cmx : nCicMetaSubst.cmi
nCicMetaSubst.cmi :
nCicRefineUtil.cmx : nCicMetaSubst.cmx nCicRefineUtil.cmi
nCicRefineUtil.cmi :
nCicRefiner.cmx : nCicUnification.cmx nCicRefineUtil.cmx nCicMetaSubst.cmx \
    nCicCoercion.cmx nCicRefiner.cmi
nCicRefiner.cmi : nCicCoercion.cmi
nCicUnifHint.cmx : nDiscriminationTree.cmx nCicMetaSubst.cmx \
    nCicUnifHint.cmi
nCicUnifHint.cmi :
nCicUnification.cmx : nCicUnifHint.cmx nCicMetaSubst.cmx nCicUnification.cmi
nCicUnification.cmi : nCicCoercion.cmi
nDiscriminationTree.cmx : nDiscriminationTree.cmi
nDiscriminationTree.cmi :