From 7b2f025cef7b4fcd03e20fc6235aab07f58a28d2 Mon Sep 17 00:00:00 2001
From: "A. Jiang" <de34@live.cn>
Date: Mon, 2 Jun 2025 15:52:01 +0800
Subject: [PATCH] [execpol.type] Make "see below" for `is_execution_policy`
 more precise

In order to make `is_execution_policy` satisfity the requirements, an implementation should determine the base class (which is either `true_type` or `false_type`) for each specialization, but not add things into the `{}`.

This PR makes the intent clearer.
---
 source/algorithms.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/source/algorithms.tex b/source/algorithms.tex
index 1741c1acbd..685f7ae478 100644
--- a/source/algorithms.tex
+++ b/source/algorithms.tex
@@ -640,7 +640,7 @@
 
 \indexlibraryglobal{is_execution_policy}%
 \begin{itemdecl}
-template<class T> struct is_execution_policy { @\seebelow@ };
+template<class T> struct is_execution_policy : bool_constant<@\seebelow@> { };
 \end{itemdecl}
 
 \begin{itemdescr}