diff --git a/source/statements.tex b/source/statements.tex index 5ad0847ad8..7c7c84e528 100644 --- a/source/statements.tex +++ b/source/statements.tex @@ -1075,7 +1075,8 @@ \end{footnote} When a \grammarterm{declaration-statement} is executed, $P$ and $Q$ are the points immediately before and after it; -when a function returns, $Q$ is after its body. +when a function returns control to the caller, +$Q$ is after its body. \begin{example} \begin{codeblock} void f() {