Searched refs:all_prods (Results 1 – 1 of 1) sorted by relevance
421 production all_prods[]; in emit_production_table() local432 all_prods = new production[production.number()]; in emit_production_table()436 all_prods[prod.index()] = prod; in emit_production_table()443 prod = all_prods[i]; in emit_production_table()