From db9b6d64f12479fd9adc07a68c55be79c120784f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Thomas=20K=C3=B6ppe?= <tkoeppe@google.com>
Date: Sat, 28 Mar 2026 08:56:40 +0000
Subject: [PATCH] [exec.snd.expos] Delete unused expos-only concept
 "completion-tag".

Also insert a missing \pnum before the now-split codeblock (see 8cef46b15b21d4ab1b96dce04c0d37e511d1ddc2).
---
 source/exec.tex | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/source/exec.tex b/source/exec.tex
index 8f6f76629c..4ff48f2b4c 100644
--- a/source/exec.tex
+++ b/source/exec.tex
@@ -1736,12 +1736,9 @@
 that models \libconcept{semiregular}.
 \end{itemdescr}
 
+\pnum
 \begin{codeblock}
 namespace std::execution {
-  template<class Tag>
-  concept @\defexposconceptnc{completion-tag}@ =                                      // \expos
-    @\libconcept{same_as}@<Tag, set_value_t> || @\libconcept{same_as}@<Tag, set_error_t> || @\libconcept{same_as}@<Tag, set_stopped_t>;
-
   template<class Sndr, class Rcvr>                              // \expos
   using @\exposid{state-type}@ = decay_t<@\exposid{call-result-t}@<
     decltype(@\exposid{impls-for}@<tag_of_t<Sndr>>::@\exposid{get-state}@), Sndr, Rcvr&>>;