-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
+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