From 48d0805fb35e0aef6fb69d284d3f56ce42796c33 Mon Sep 17 00:00:00 2001
From: Hewill Kang <hewillk@gmail.com>
Date: Tue, 30 Jul 2024 22:41:51 +0800
Subject: [PATCH] [exec.snd.expos] Replace \exposconcept for nothrow-callable

---
 source/exec.tex | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/source/exec.tex b/source/exec.tex
index 89adfa9df6..503d46457e 100644
--- a/source/exec.tex
+++ b/source/exec.tex
@@ -1463,11 +1463,11 @@
   Fun @\exposid{fun}@;                                                      // \expos
   using type = @\exposid{call-result-t}@<Fun>;
 
-  constexpr operator type() && noexcept(@\exposid{nothrow-callable}@<Fun>) {
+  constexpr operator type() && noexcept(@\exposconcept{nothrow-callable}@<Fun>) {
     return std::move(fun)();
   }
 
-  constexpr type operator()() && noexcept(@\exposid{nothrow-callable}@<Fun>) {
+  constexpr type operator()() && noexcept(@\exposconcept{nothrow-callable}@<Fun>) {
     return std::move(fun)();
   }
 };
@@ -1730,7 +1730,7 @@
 the constructor of \exposid{basic-state} is:
 \begin{codeblock}
 is_nothrow_move_constructible_v<Rcvr> &&
-@\exposid{nothrow-callable}@<decltype(@\exposid{impls-for}@<tag_of_t<Sndr>>::@\exposid{get-state}@), Sndr, Rcvr&>
+@\exposconcept{nothrow-callable}@<decltype(@\exposid{impls-for}@<tag_of_t<Sndr>>::@\exposid{get-state}@), Sndr, Rcvr&>
 \end{codeblock}
 
 \pnum