Commit 0eefad5
committed
Put invariant out of the loop
1 parent 35a23c1 commit 0eefad5
1 file changed
Lines changed: 4 additions & 4 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
3559 | 3559 | | |
3560 | 3560 | | |
3561 | 3561 | | |
| 3562 | + | |
| 3563 | + | |
| 3564 | + | |
| 3565 | + | |
3562 | 3566 | | |
3563 | 3567 | | |
3564 | 3568 | | |
3565 | 3569 | | |
3566 | 3570 | | |
3567 | 3571 | | |
3568 | 3572 | | |
3569 | | - | |
3570 | | - | |
3571 | | - | |
3572 | | - | |
3573 | 3573 | | |
3574 | 3574 | | |
3575 | 3575 | | |
| |||
0 commit comments