diff --git a/source/exec.tex b/source/exec.tex index df7ca5439e..4877b34062 100644 --- a/source/exec.tex +++ b/source/exec.tex @@ -4444,8 +4444,8 @@ \tcode{state.\exposid{stop-src}.get_token()}, and \item given a query object \tcode{q} -with type other than \cv{} \tcode{stop_token_t} and -whose type satisfies \exposconceptx{forwarding-que\-ry}{forwarding-query}, +with type other than \cv{} \tcode{get_stop_token_t} and +whose type satisfies \exposconceptx{forwarding-\brk{}query}{forwarding-query}, \tcode{e.query(q)} is expression-equivalent to \tcode{get_env(rcvr).query(q)}. \end{itemize}