diff.cmo: diff.cmi 
diff.cmx: diff.cmi 
eprinter.cmo: eprinter.cmi extfun.cmi pprintf.cmi 
eprinter.cmx: eprinter.cmi extfun.cmx pprintf.cmx 
eprinter.cmi: pprintf.cmi extfun.cmi 
extfold.cmo: extfold.cmi gramext.cmi grammar.cmi 
extfold.cmx: extfold.cmi gramext.cmx grammar.cmx 
extfold.cmi: gramext.cmi 
extfun.cmo: extfun.cmi 
extfun.cmx: extfun.cmi 
fstream.cmo: fstream.cmi 
fstream.cmx: fstream.cmi 
gramext.cmo: fstream.cmi gramext.cmi plexing.cmi 
gramext.cmx: fstream.cmx gramext.cmi plexing.cmx 
gramext.cmi: plexing.cmi fstream.cmi 
grammar.cmo: fstream.cmi gramext.cmi grammar.cmi plexing.cmi ploc.cmi 
grammar.cmx: fstream.cmx gramext.cmx grammar.cmi plexing.cmx ploc.cmx 
grammar.cmi: ploc.cmi plexing.cmi gramext.cmi 
plexer.cmo: plexer.cmi plexing.cmi ploc.cmi 
plexer.cmx: plexer.cmi plexing.cmx ploc.cmx 
plexer.cmi: plexing.cmi 
plexing.cmo: plexing.cmi ploc.cmi 
plexing.cmx: plexing.cmi ploc.cmx 
plexing.cmi: ploc.cmi 
ploc.cmo: ploc.cmi 
ploc.cmx: ploc.cmi 
pprintf.cmo: pprintf.cmi pretty.cmi 
pprintf.cmx: pprintf.cmi pretty.cmx 
pretty.cmo: ploc.cmi pretty.cmi 
pretty.cmx: ploc.cmx pretty.cmi 
stdpp.cmo: ploc.cmi stdpp.cmi 
stdpp.cmx: ploc.cmx stdpp.cmi 
stdpp.cmi: ploc.cmi 
token.cmo: plexing.cmi ploc.cmi token.cmi 
token.cmx: plexing.cmx ploc.cmx token.cmi 
token.cmi: ploc.cmi plexing.cmi 
