-disambiguateChoices.cmi: disambiguateTypes.cmi
-disambiguate.cmi: disambiguateTypes.cmi
-disambiguateTypes.cmo: disambiguateTypes.cmi
-disambiguateTypes.cmx: disambiguateTypes.cmi
-disambiguateChoices.cmo: disambiguateTypes.cmi disambiguateChoices.cmi
-disambiguateChoices.cmx: disambiguateTypes.cmx disambiguateChoices.cmi
-disambiguate.cmo: disambiguateTypes.cmi disambiguateChoices.cmi \
- disambiguate.cmi
-disambiguate.cmx: disambiguateTypes.cmx disambiguateChoices.cmx \
- disambiguate.cmi
-number_notation.cmo: disambiguateTypes.cmi disambiguateChoices.cmi
-number_notation.cmx: disambiguateTypes.cmx disambiguateChoices.cmx
+cicDisambiguate.cmi :
+disambiguateChoices.cmi :
+cicDisambiguate.cmo : cicDisambiguate.cmi
+cicDisambiguate.cmx : cicDisambiguate.cmi
+disambiguateChoices.cmo : disambiguateChoices.cmi
+disambiguateChoices.cmx : disambiguateChoices.cmi
+number_notation.cmo : disambiguateChoices.cmi
+number_notation.cmx : disambiguateChoices.cmx