From 3eae4aab9bff3d124c22e5350a15e9284a0ce49d Mon Sep 17 00:00:00 2001
From: Jonathan Wakely <cxx@kayari.org>
Date: Fri, 17 Oct 2025 19:19:23 +0100
Subject: [PATCH] [simd.permute.static] use satisfies for satisfaction

Fixes NB US 182-296 (C++26 CD).
---
 source/numerics.tex | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/source/numerics.tex b/source/numerics.tex
index 4376e274b3..4fcea20f12 100644
--- a/source/numerics.tex
+++ b/source/numerics.tex
@@ -18802,9 +18802,11 @@
 
 \pnum
 \constraints
-\tcode{\libconcept{integral}<invoke_result_t<IdxMap\&, \exposid{simd-size-type}>> ||
-\libconcept{integral}<invoke_re\-sult_t<IdxMap\&, \exposid{simd-size-type},
-\exposid{simd-size-type}>>} is \tcode{true}.
+At least one of
+\tcode{invoke_result_t<IdxMap\&, \exposid{simd-size-type}>}
+and
+\tcode{invoke_result_t<IdxMap\&, \exposid{simd-size-type}, \exposid{simd-size-type}>}
+satisfies \libconcept{integral}.
 
 \pnum
 \mandates