From 6d05984ab6ac8cc386362bed98f01f3ef4dd2aa1 Mon Sep 17 00:00:00 2001 From: Eric Niebler Date: Sat, 11 Jan 2025 20:11:25 -0800 Subject: [PATCH] [exec.snd.expos] Move write-env paragraph into itemdescr --- source/exec.tex | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/source/exec.tex b/source/exec.tex index 035ed59195..08c96a8164 100644 --- a/source/exec.tex +++ b/source/exec.tex @@ -1893,7 +1893,6 @@ }; }; \end{codeblock} -\end{itemdescr} Invocation of \tcode{\exposid{impls-for}<\exposid{write-env-t}>::\exposid{get-env}} returns an object \tcode{e} such that @@ -1905,8 +1904,9 @@ the expression \tcode{e.query(q)} is expression-equivalent to \tcode{state.query(q)} if that expression is valid, otherwise, \tcode{e.query(q)} is expression-equivalent -to \tcode{get_env(rcvr).query(q)}. +to \tcode{get_env(rcvr).que\-ry(q)}. \end{itemize} +\end{itemdescr} \rSec2[exec.snd.concepts]{Sender concepts}