--- /dev/null
+matitaDisambiguator.cmo: matitaDisambiguator.cmi
+matitaDisambiguator.cmx: matitaDisambiguator.cmi
+grafiteDisambiguate.cmo: matitaDisambiguator.cmi grafiteDisambiguate.cmi
+grafiteDisambiguate.cmx: matitaDisambiguator.cmx grafiteDisambiguate.cmi