From 273095e056ae763d6db27b303e821503b6e20344 Mon Sep 17 00:00:00 2001
From: "A. Jiang" <de34@live.cn>
Date: Tue, 29 Jul 2025 11:47:11 +0800
Subject: [PATCH] [memory.syn] Index `allocation_result` and its members

---
 source/memory.tex | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/source/memory.tex b/source/memory.tex
index 4b3d168212..5b754700d6 100644
--- a/source/memory.tex
+++ b/source/memory.tex
@@ -162,9 +162,9 @@
   template<class Alloc> struct allocator_traits;                                    // freestanding
 
   template<class Pointer, class SizeType = size_t>
-  struct allocation_result {                                                        // freestanding
-    Pointer ptr;
-    SizeType count;
+  struct @\libglobal{allocation_result}@ {                                                        // freestanding
+    Pointer @\libmember{ptr}{allocation_result}@;
+    SizeType @\libmember{count}{allocation_result}@;
   };
 
   // \ref{default.allocator}, the default allocator