grafiteDisambiguator.cmx: grafiteDisambiguator.cmi
grafiteDisambiguate.cmo: grafiteDisambiguator.cmi grafiteDisambiguate.cmi
grafiteDisambiguate.cmx: grafiteDisambiguator.cmx grafiteDisambiguate.cmi
grafiteDisambiguator.cmx: grafiteDisambiguator.cmi
grafiteDisambiguate.cmo: grafiteDisambiguator.cmi grafiteDisambiguate.cmi
grafiteDisambiguate.cmx: grafiteDisambiguator.cmx grafiteDisambiguate.cmi