matitaDisambiguator.cmo: matitaDisambiguator.cmi 
matitaDisambiguator.cmx: matitaDisambiguator.cmi 
grafiteDisambiguate.cmo: matitaDisambiguator.cmi grafiteDisambiguate.cmi 
grafiteDisambiguate.cmx: matitaDisambiguator.cmx grafiteDisambiguate.cmi