Home | History | Annotate | Download | only in intl

Lines Matching full:pushed

760      have just been pushed. so pushing a state here evens the stacks.