1 matitaDisambiguator.cmo: matitaDisambiguator.cmi
2 matitaDisambiguator.cmx: matitaDisambiguator.cmi
3 grafiteDisambiguate.cmo: matitaDisambiguator.cmi grafiteDisambiguate.cmi
4 grafiteDisambiguate.cmx: matitaDisambiguator.cmx grafiteDisambiguate.cmi