fixes a potential endless loop

This commit is contained in:
Andreas Rumpf 2017-03-20 10:55:20 +01:00
commit 01b2728ec8