We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 50b86c5 commit 25ec2d2Copy full SHA for 25ec2d2
source/exec.tex
@@ -8676,7 +8676,7 @@
8676
then for each $i$ in \range{0}{n},
8677
there is exactly one call to \tcode{r.execute($i$, $i$ + 1)}.
8678
\item
8679
-All calls to execute on \tcode{r} happen before
+All calls to \tcode{execute} on \tcode{r} happen before
8680
the call to either \tcode{set_value}, \tcode{set_error}, or \tcode{set_stopped}
8681
on \tcode{r}.
8682
0 commit comments