-matitaSync.cmi: grafiteTypes.cmi
+grafiteSync.cmi: grafiteTypes.cmi
grafiteEngine.cmi: grafiteTypes.cmi
grafiteTypes.cmo: grafiteTypes.cmi
grafiteTypes.cmx: grafiteTypes.cmi
-disambiguatePp.cmo: disambiguatePp.cmi
-disambiguatePp.cmx: disambiguatePp.cmi
-matitaSync.cmo: grafiteTypes.cmi disambiguatePp.cmi matitaSync.cmi
-matitaSync.cmx: grafiteTypes.cmx disambiguatePp.cmx matitaSync.cmi
+grafiteSync.cmo: grafiteTypes.cmi grafiteSync.cmi
+grafiteSync.cmx: grafiteTypes.cmx grafiteSync.cmi
grafiteMisc.cmo: grafiteMisc.cmi
grafiteMisc.cmx: grafiteMisc.cmi
-grafiteEngine.cmo: matitaSync.cmi grafiteTypes.cmi grafiteMisc.cmi \
- grafiteEngine.cmi
-grafiteEngine.cmx: matitaSync.cmx grafiteTypes.cmx grafiteMisc.cmx \
- grafiteEngine.cmi
+grafiteEngine.cmo: grafiteTypes.cmi grafiteMisc.cmi grafiteEngine.cmi
+grafiteEngine.cmx: grafiteTypes.cmx grafiteMisc.cmx grafiteEngine.cmi