diff --git a/source/exec.tex b/source/exec.tex index 5f489ee071..f373bfe179 100644 --- a/source/exec.tex +++ b/source/exec.tex @@ -8379,7 +8379,7 @@ is a proxy \tcode{r} for \tcode{rcvr} with base \tcode{system_context_replaceability::bulk_item_receiver_proxy} such that -\tcode{r.execute(i, i+1)} for index \tcode{i} +\tcode{r.execute(i, i + 1)} for index \tcode{i} has effects equivalent to \tcode{f(i, args...)}. \pnum