From a3a95e468d81b0b00a204fc370f00e0db142b291 Mon Sep 17 00:00:00 2001
From: lprv <100177227+lprv@users.noreply.github.com>
Date: Wed, 25 Dec 2024 16:15:29 +0000
Subject: [PATCH] [tab:cpp17.destructible] Use the correct placeholder in
 requirement

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

diff --git a/source/lib-intro.tex b/source/lib-intro.tex
index fab923bf47..d0741970c1 100644
--- a/source/lib-intro.tex
+++ b/source/lib-intro.tex
@@ -1857,7 +1857,7 @@
 {p{1in}p{4.15in}}
 \topline
 \hdstyle{Expression}      &   \hdstyle{Post-condition}  \\ \capsep
-\tcode{u.\~T()} &   All resources owned by \tcode{u} are reclaimed, no exception is propagated. \\ \rowsep
+\tcode{a.\~T()} &   All resources owned by \tcode{a} are reclaimed, no exception is propagated. \\ \rowsep
 \multicolumn{2}{|l|}{
   \begin{tailnote}
   Array types and non-object types are not \oldconcept{Destructible}.