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