diff options
| author | mzuenni <michi.zuendorf@gmail.com> | 2024-08-30 15:04:20 +0200 |
|---|---|---|
| committer | mzuenni <michi.zuendorf@gmail.com> | 2024-08-30 15:04:20 +0200 |
| commit | ac2d9ad3f2c88bc12420fc439e8d0b4775a11169 (patch) | |
| tree | 256c13ae0a321e3a705bde52ee679131b9f864d5 /content/other/pbs.cpp | |
| parent | 00b01a954304e50904de97b25639c535e16f259e (diff) | |
various small improvements
Diffstat (limited to 'content/other/pbs.cpp')
| -rw-r--r-- | content/other/pbs.cpp | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/content/other/pbs.cpp b/content/other/pbs.cpp index 7cb60e5..5508d6c 100644 --- a/content/other/pbs.cpp +++ b/content/other/pbs.cpp @@ -10,9 +10,8 @@ while (true) { // reset simulation for (int step = 0; auto [mid, i] : focus) { - while (step <= mid) { + for (; step <= mid; step++) { // simulation step - step++; } if (/* requirement already fulfilled */) high[i] = mid; else low[i] = mid + 1; |