From 2c0346c6718a23045d44874b4d5dd24fd6c02ef2 Mon Sep 17 00:00:00 2001
From: Eelis <github.com@contacts.eelis.net>
Date: Thu, 3 Sep 2020 20:07:49 +0200
Subject: [PATCH] [span.syn] Add index entry for dynamic_extent. (#4136)

---
 source/containers.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/source/containers.tex b/source/containers.tex
index 03fa51b6d6..86b04455aa 100644
--- a/source/containers.tex
+++ b/source/containers.tex
@@ -10608,7 +10608,7 @@
 \begin{codeblock}
 namespace std {
   // constants
-  inline constexpr size_t dynamic_extent = numeric_limits<size_t>::max();
+  inline constexpr size_t @\libglobal{dynamic_extent}@ = numeric_limits<size_t>::max();
 
   // \ref{views.span}, class template span
   template<class ElementType, size_t Extent = dynamic_extent>