From 108e383a21b06df902fdbcba6eef47b53dcfc5c5 Mon Sep 17 00:00:00 2001
From: Casey Carter <Casey@Carter.net>
Date: Sat, 14 Dec 2019 11:13:41 -0800
Subject: [PATCH] [string.view.synop,span.syn,span.cons] (enable_)?safe_range
 are defined in std::ranges

---
 source/containers.tex | 6 +++---
 source/strings.tex    | 2 +-
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/source/containers.tex b/source/containers.tex
index e5b1d13da1..1d8beaaa98 100644
--- a/source/containers.tex
+++ b/source/containers.tex
@@ -10515,7 +10515,7 @@
     class span;
 
   template<class ElementType, size_t Extent>
-    inline constexpr bool enable_safe_range<span<ElementType, Extent>> = true;
+    inline constexpr bool ranges::enable_safe_range<span<ElementType, Extent>> = true;
 
   // \ref{span.objectrep}, views of object representation
   template<class ElementType, size_t Extent>
@@ -10788,7 +10788,7 @@
 \item \tcode{extent == dynamic_extent} is \tcode{true}.
 \item \tcode{R} satisfies \tcode{ranges::\libconcept{contiguous_range}} and
   \tcode{ranges::\libconcept{sized_range}}.
-\item Either \tcode{R} satisfies \libconcept{safe_range} or
+\item Either \tcode{R} satisfies \tcode{ranges::\libconcept{safe_range}} or
 \tcode{is_const_v<element_type>} is \tcode{true}.
 \item \tcode{remove_cvref_t<R>} is not a specialization of \tcode{span}.
 \item \tcode{remove_cvref_t<R>} is not a specialization of \tcode{array}.
@@ -10807,7 +10807,7 @@
 \item \tcode{R} models \tcode{ranges::\libconcept{contiguous_range}} and
 \tcode{ranges::\libconcept{sized_range}}.
 \item If \tcode{is_const_v<element_type>} is \tcode{false},
-\tcode{R} models \libconcept{safe_range}.
+\tcode{R} models \tcode{ranges::\libconcept{safe_range}}.
 \end{itemize}
 
 \pnum
diff --git a/source/strings.tex b/source/strings.tex
index 261601c0cc..9e4405cf88 100644
--- a/source/strings.tex
+++ b/source/strings.tex
@@ -3933,7 +3933,7 @@
   class basic_string_view;
 
   template<class charT, class traits>
-    inline constexpr bool enable_safe_range<basic_string_view<charT, traits>> = true;
+    inline constexpr bool ranges::enable_safe_range<basic_string_view<charT, traits>> = true;
 
   // \ref{string.view.comparison}, non-member comparison functions
   template<class charT, class traits>