From d29375e6a1cb965ca370f14d8fa3687dfc4d74f3 Mon Sep 17 00:00:00 2001
From: zhihaoy <43971430+zhihaoy@users.noreply.github.com>
Date: Sun, 19 Apr 2026 20:35:34 -0700
Subject: [PATCH] [func.wrap.ref.deduct] simplify wording

---
 source/utilities.tex | 16 ++++------------
 1 file changed, 4 insertions(+), 12 deletions(-)

diff --git a/source/utilities.tex b/source/utilities.tex
index a284b4f137..2f88afd8d2 100644
--- a/source/utilities.tex
+++ b/source/utilities.tex
@@ -15583,8 +15583,8 @@
   // \ref{func.wrap.ref.deduct}, deduction guides
   template<class F>
     function_ref(F*) -> function_ref<F>;
-  template<auto c, class F0>
-    function_ref(constant_wrapper<c, F0>) -> function_ref<@\seebelow@>;
+  template<auto c, class F>
+    function_ref(constant_wrapper<c, F*>) -> function_ref<F>;
   template<auto c, class F, class T>
     function_ref(constant_wrapper<c, F>, T&&) -> function_ref<@\seebelow@>;
 }
@@ -15879,23 +15879,15 @@
 \end{itemdescr}
 
 \begin{itemdecl}
-template<auto c, class F0>
-  function_ref(constant_wrapper<c, F0>) -> function_ref<@\seebelow@>;
+template<auto c, class F>
+  function_ref(constant_wrapper<c, F*>) -> function_ref<F>;
 \end{itemdecl}
 
 \begin{itemdescr}
-\pnum
-Let \tcode{F} be \tcode{remove_pointer_t<F0>}.
-
 \pnum
 \constraints
 \tcode{is_function_v<F>} is \tcode{true}.
 
-\pnum
-\remarks
-The deduced type is \tcode{function_ref<F>}.
-\end{itemdescr}
-
 \begin{itemdecl}
 template<auto c, class F, class T>
   function_ref(constant_wrapper<c, F>, T&&) -> function_ref<@\seebelow@>;