From 861071a824419b955c4efb2d07980e78c9fc62c7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Kr=C3=BCgler?= <daniel.kruegler@gmail.com>
Date: Wed, 4 Dec 2024 15:05:03 +0100
Subject: [PATCH] [iterator.requirements.general] Revert `indirectly_writable`
 to "writable" definition (#7471)

This fixes a misapplication of the 2019 Belfast meeting LWG motion 9 (P1878R1), which erroneously replaced the "writable" definition by the `indirectly_writable` concept.
---
 source/iterators.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/source/iterators.tex b/source/iterators.tex
index 5d46f37e64..31bda1bfe8 100644
--- a/source/iterators.tex
+++ b/source/iterators.tex
@@ -539,7 +539,7 @@
 \defn{value type}
 of the iterator.
 An output iterator \tcode{i} has a non-empty set of types that are
-\libconcept{indirectly_writable} to the iterator;
+\defn{writable} to the iterator;
 for each such type \tcode{T}, the expression \tcode{*i = o}
 is valid where \tcode{o} is a value of type \tcode{T}.
 For every iterator type