-disambiguate.cmo: disambiguateTypes.cmi disambiguateChoices.cmi \
- disambiguate.cmi
-disambiguate.cmx: disambiguateTypes.cmx disambiguateChoices.cmx \
- disambiguate.cmi
+disambiguatePp.cmo: disambiguateTypes.cmi disambiguateChoices.cmi \
+ disambiguatePp.cmi
+disambiguatePp.cmx: disambiguateTypes.cmx disambiguateChoices.cmx \
+ disambiguatePp.cmi
+disambiguate.cmo: disambiguateTypes.cmi disambiguatePp.cmi \
+ disambiguateChoices.cmi disambiguate.cmi
+disambiguate.cmx: disambiguateTypes.cmx disambiguatePp.cmx \
+ disambiguateChoices.cmx disambiguate.cmi