diff --git a/src/singeli/src/mask.singeli b/src/singeli/src/mask.singeli index 4f962444..aa2a4eb5 100644 --- a/src/singeli/src/mask.singeli +++ b/src/singeli/src/mask.singeli @@ -163,7 +163,7 @@ def for_mu{bulk, unr, extra}{vars,begin==0,end,iter} = { i+= unr } if (same{flush_max, 1/0}) { - while (i+unr <= m) unr_iter{} + do { unr_iter{} } while (i <= m-unr) } else { def done = makelabel{} def unr_end = m-unr + 1