Skip to content

Commit 569e2a3

Browse files
authored
[exec.snd.expos] Move write-env paragraph into itemdescr (#7571)
1 parent 1c398ff commit 569e2a3

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

source/exec.tex

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1893,7 +1893,6 @@
18931893
};
18941894
};
18951895
\end{codeblock}
1896-
\end{itemdescr}
18971896
Invocation of
18981897
\tcode{\exposid{impls-for}<\exposid{write-env-t}>::\exposid{get-env}}
18991898
returns an object \tcode{e} such that
@@ -1905,8 +1904,9 @@
19051904
the expression \tcode{e.query(q)} is expression-equivalent
19061905
to \tcode{state.query(q)} if that expression is valid,
19071906
otherwise, \tcode{e.query(q)} is expression-equivalent
1908-
to \tcode{get_env(rcvr).query(q)}.
1907+
to \tcode{get_env(rcvr).que\-ry(q)}.
19091908
\end{itemize}
1909+
\end{itemdescr}
19101910

19111911
\rSec2[exec.snd.concepts]{Sender concepts}
19121912

0 commit comments

Comments
 (0)