gramext.cmi: token.cmi 
grammar.cmi: gramext.cmi token.cmi 
plexer.cmi: token.cmi 
gramext.cmo: token.cmi gramext.cmi 
gramext.cmx: token.cmx gramext.cmi 
grammar.cmo: gramext.cmi stdpp.cmi token.cmi grammar.cmi 
grammar.cmx: gramext.cmx stdpp.cmx token.cmx grammar.cmi 
plexer.cmo: stdpp.cmi token.cmi plexer.cmi 
plexer.cmx: stdpp.cmx token.cmx plexer.cmi 
stdpp.cmo: stdpp.cmi 
stdpp.cmx: stdpp.cmi 
token.cmo: token.cmi 
token.cmx: token.cmi 
