disambiguateChoices.cmx : \
    nnumber_notation.cmx \
    disambiguateChoices.cmi
disambiguateChoices.cmi :
grafiteDisambiguate.cmx : \
    nCicDisambiguate.cmx \
    disambiguateChoices.cmx \
    grafiteDisambiguate.cmi
grafiteDisambiguate.cmi :
nCicDisambiguate.cmx : \
    nCicDisambiguate.cmi
nCicDisambiguate.cmi :
nnumber_notation.cmx : \
    nnumber_notation.cmi
nnumber_notation.cmi :