matitaDisambiguator.cmx: matitaDisambiguator.cmi
grafiteDisambiguate.cmo: matitaDisambiguator.cmi grafiteDisambiguate.cmi
grafiteDisambiguate.cmx: matitaDisambiguator.cmx grafiteDisambiguate.cmi
-grafiteParserMisc.cmo: grafiteParserMisc.cmi
-grafiteParserMisc.cmx: grafiteParserMisc.cmi
+grafiteParserMisc.cmo: grafiteParser.cmi grafiteParserMisc.cmi
+grafiteParserMisc.cmx: grafiteParser.cmx grafiteParserMisc.cmi