From 17d84ce31aa806fb7d02ded952e3201c8b39fbb1 Mon Sep 17 00:00:00 2001
From: Eelis <github.com@contacts.eelis.net>
Date: Sun, 5 Jul 2020 21:42:50 +0200
Subject: [PATCH] [allocator.members] Remove stray whitespace. (#4073)

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

diff --git a/source/utilities.tex b/source/utilities.tex
index c4795eb86b..293c3a269d 100644
--- a/source/utilities.tex
+++ b/source/utilities.tex
@@ -8269,7 +8269,7 @@
 
 \pnum
 \effects
-Deallocates the storage referenced by \tcode{p} .
+Deallocates the storage referenced by \tcode{p}.
 
 \pnum
 \remarks