On Wed, Nov 1, 2017 at 3:39 PM, Johannes Schindelin <Johannes.Schindelin@xxxxxx> 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
