From 158784672ab36b2f895a52d0bc88da41325ebf53 Mon Sep 17 00:00:00 2001 From: Hewill Kang Date: Thu, 23 Apr 2026 23:17:58 +0800 Subject: [PATCH] [exec.continues.on] Remove spurious newline --- source/exec.tex | 1 - 1 file changed, 1 deletion(-) diff --git a/source/exec.tex b/source/exec.tex index b8a5fe6825..fa00ae8f03 100644 --- a/source/exec.tex +++ b/source/exec.tex @@ -3699,7 +3699,6 @@ \begin{codeblock} [](Sndr&& sndr, Rcvr& rcvr) noexcept(@\seebelow@) requires @\libconcept{sender_in}@<@\exposid{child-type}@, @\exposid{FWD-ENV-T}@(env_of_t)> { - auto& [_, sch, child] = sndr; using sched_t = decltype(auto(sch));