grafiteWalker.cmi: grafiteParser.cmi 
dependenciesParser.cmo: dependenciesParser.cmi 
dependenciesParser.cmx: dependenciesParser.cmi 
grafiteParser.cmo: grafiteParser.cmi 
grafiteParser.cmx: grafiteParser.cmi 
cicNotation2.cmo: grafiteParser.cmi cicNotation2.cmi 
cicNotation2.cmx: grafiteParser.cmx cicNotation2.cmi 
grafiteDisambiguator.cmo: grafiteDisambiguator.cmi 
grafiteDisambiguator.cmx: grafiteDisambiguator.cmi 
grafiteDisambiguate.cmo: grafiteDisambiguator.cmi grafiteDisambiguate.cmi 
grafiteDisambiguate.cmx: grafiteDisambiguator.cmx grafiteDisambiguate.cmi 
grafiteWalker.cmo: grafiteParser.cmi grafiteWalker.cmi 
grafiteWalker.cmx: grafiteParser.cmx grafiteWalker.cmi