On Wed, Nov 1, 2017 at 3:39 PM, Johannes Schindelin <[email protected]> wrote: >> not ok 1 - witty title >> >> That is all we want to care about here? > > We care about the loop body being executed successfully *each time*. A > better counter example:
Good point. I'll use return in that case. Thanks! Stefan
