matitaSync.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 
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