From 390428c32e58ef3fa59adf8e3af2202cf1647ae6 Mon Sep 17 00:00:00 2001
From: Hewill Kang <hewillk@gmail.com>
Date: Sat, 1 Nov 2025 14:59:44 +0800
Subject: [PATCH] [exec.snd.expos] Add \exposidnc for op

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

diff --git a/source/exec.tex b/source/exec.tex
index 1f31e4eb73..72969393d9 100644
--- a/source/exec.tex
+++ b/source/exec.tex
@@ -1785,22 +1785,22 @@
     template<class... Args>
       requires @\exposconcept{callable}@<decltype(@\exposid{complete}@), Index, @\exposid{state-t}@&, Rcvr&, set_value_t, Args...>
     void set_value(Args&&... args) && noexcept {
-      @\exposid{complete}@(Index(), op->@\exposid{state}@, op->@\exposid{rcvr}@, set_value_t(), std::forward<Args>(args)...);
+      @\exposid{complete}@(Index(), @\exposidnc{op}@->@\exposid{state}@, @\exposidnc{op}@->@\exposid{rcvr}@, set_value_t(), std::forward<Args>(args)...);
     }
 
     template<class Error>
       requires @\exposconcept{callable}@<decltype(@\exposid{complete}@), Index, @\exposid{state-t}@&, Rcvr&, set_error_t, Error>
     void set_error(Error&& err) && noexcept {
-      @\exposid{complete}@(Index(), op->@\exposid{state}@, op->@\exposid{rcvr}@, set_error_t(), std::forward<Error>(err));
+      @\exposid{complete}@(Index(), @\exposidnc{op}@->@\exposid{state}@, @\exposidnc{op}@->@\exposid{rcvr}@, set_error_t(), std::forward<Error>(err));
     }
 
     void set_stopped() && noexcept
       requires @\exposconcept{callable}@<decltype(@\exposid{complete}@), Index, @\exposid{state-t}@&, Rcvr&, set_stopped_t> {
-      @\exposid{complete}@(Index(), op->@\exposid{state}@, op->@\exposid{rcvr}@, set_stopped_t());
+      @\exposid{complete}@(Index(), @\exposidnc{op}@->@\exposid{state}@, @\exposidnc{op}@->@\exposid{rcvr}@, set_stopped_t());
     }
 
     auto get_env() const noexcept -> @\exposid{env-type}@<Index, Sndr, Rcvr> {
-      return @\exposid{impls-for}@<tag-t>::@\exposid{get-env}@(Index(), op->@\exposid{state}@, op->@\exposid{rcvr}@);
+      return @\exposid{impls-for}@<tag-t>::@\exposid{get-env}@(Index(), @\exposidnc{op}@->@\exposid{state}@, @\exposidnc{op}@->@\exposid{rcvr}@);
     }
 
     @\exposidnc{basic-state}@<Sndr, Rcvr>* @\exposidnc{op}@;                                // \expos