Remove unused label

This commit is contained in:
Sebastian Wilzbach 2017-06-19 13:03:27 +02:00
parent 43b33c6b98
commit 5facd9b674

View file

@ -3402,7 +3402,7 @@ body
r.swapAt(rite, pivot);
}
// Second loop: make left and pivot meet
outer: for (; rite > pivot; --rite)
for (; rite > pivot; --rite)
{
if (!lp(r[rite], r[oldPivot])) continue;
while (rite > pivot)