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