From 52e80fa213fde5a79c4b378f03c09590a06f74ae Mon Sep 17 00:00:00 2001
From: Andreas Krug <153394595+Andreas-Krug@users.noreply.github.com>
Date: Fri, 10 Apr 2026 14:09:17 +0200
Subject: [PATCH] [mem.res.pool.overview] Fix indentation

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

diff --git a/source/memory.tex b/source/memory.tex
index a7f16411e8..3198a92939 100644
--- a/source/memory.tex
+++ b/source/memory.tex
@@ -8011,11 +8011,11 @@
     synchronized_pool_resource(const pool_options& opts, memory_resource* upstream);
 
     synchronized_pool_resource()
-        : synchronized_pool_resource(pool_options(), get_default_resource()) {}
+      : synchronized_pool_resource(pool_options(), get_default_resource()) {}
     explicit synchronized_pool_resource(memory_resource* upstream)
-        : synchronized_pool_resource(pool_options(), upstream) {}
+      : synchronized_pool_resource(pool_options(), upstream) {}
     explicit synchronized_pool_resource(const pool_options& opts)
-        : synchronized_pool_resource(opts, get_default_resource()) {}
+      : synchronized_pool_resource(opts, get_default_resource()) {}
 
     synchronized_pool_resource(const synchronized_pool_resource&) = delete;
     virtual ~synchronized_pool_resource();
@@ -8038,11 +8038,11 @@
     unsynchronized_pool_resource(const pool_options& opts, memory_resource* upstream);
 
     unsynchronized_pool_resource()
-        : unsynchronized_pool_resource(pool_options(), get_default_resource()) {}
+      : unsynchronized_pool_resource(pool_options(), get_default_resource()) {}
     explicit unsynchronized_pool_resource(memory_resource* upstream)
-        : unsynchronized_pool_resource(pool_options(), upstream) {}
+      : unsynchronized_pool_resource(pool_options(), upstream) {}
     explicit unsynchronized_pool_resource(const pool_options& opts)
-        : unsynchronized_pool_resource(opts, get_default_resource()) {}
+      : unsynchronized_pool_resource(opts, get_default_resource()) {}
 
     unsynchronized_pool_resource(const unsynchronized_pool_resource&) = delete;
     virtual ~unsynchronized_pool_resource();