1 disambiguateChoices.cmi:
4 grafiteDisambiguate.cmi:
5 disambiguateChoices.cmo: disambiguateChoices.cmi
6 disambiguateChoices.cmx: disambiguateChoices.cmi
7 nCicDisambiguate.cmo: nCicDisambiguate.cmi
8 nCicDisambiguate.cmx: nCicDisambiguate.cmi
9 nnumber_notation.cmo: disambiguateChoices.cmi nnumber_notation.cmi
10 nnumber_notation.cmx: disambiguateChoices.cmx nnumber_notation.cmi
11 grafiteDisambiguate.cmo: nCicDisambiguate.cmi disambiguateChoices.cmi \
12 grafiteDisambiguate.cmi
13 grafiteDisambiguate.cmx: nCicDisambiguate.cmx disambiguateChoices.cmx \
14 grafiteDisambiguate.cmi