From 70d2d66ee9e9fbd13a32822c0bd35a3ff2227803 Mon Sep 17 00:00:00 2001
From: Tymi <tymi@tymi.org>
Date: Tue, 21 Apr 2026 20:59:42 +0200
Subject: [PATCH] Update typedef terminology for value_type in iostreams

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

diff --git a/source/iostreams.tex b/source/iostreams.tex
index 3cb098fe0e..3320a770af 100644
--- a/source/iostreams.tex
+++ b/source/iostreams.tex
@@ -13789,7 +13789,7 @@
 
 \indexlibrarymember{value_type}{path}%
 \pnum
-\tcode{value_type} is a \keyword{typedef} for the
+\tcode{value_type} is a \grammarterm{typedef-name} for the
 operating system dependent encoded character type used to represent pathnames.
 
 \indexlibrarymember{preferred_separator}{path}%