components/grafite_parser/.depend.opt

   1 grafiteWalker.cmi: grafiteParser.cmi
   2 dependenciesParser.cmo: dependenciesParser.cmi
   3 dependenciesParser.cmx: dependenciesParser.cmi
   4 grafiteParser.cmo: grafiteParser.cmi
   5 grafiteParser.cmx: grafiteParser.cmi
   6 cicNotation2.cmo: grafiteParser.cmi cicNotation2.cmi
   7 cicNotation2.cmx: grafiteParser.cmx cicNotation2.cmi
   8 grafiteDisambiguator.cmo: grafiteDisambiguator.cmi
   9 grafiteDisambiguator.cmx: grafiteDisambiguator.cmi
  10 grafiteDisambiguate.cmo: grafiteDisambiguator.cmi grafiteDisambiguate.cmi
  11 grafiteDisambiguate.cmx: grafiteDisambiguator.cmx grafiteDisambiguate.cmi
  12 grafiteWalker.cmo: grafiteParser.cmi grafiteWalker.cmi
  13 grafiteWalker.cmx: grafiteParser.cmx grafiteWalker.cmi