From fb8ab15cff71f437d77d4c3f6420812d773de3a8 Mon Sep 17 00:00:00 2001
From: Gabriel Dos Reis <GabrielDosReis@users.noreply.github.com>
Date: Mon, 22 May 2023 04:24:52 -0700
Subject: [PATCH] Fix `ExprSort::TemplateReference` structure

---
 ltx/exprs.tex | 15 ++++++++++-----
 1 file changed, 10 insertions(+), 5 deletions(-)

diff --git a/ltx/exprs.tex b/ltx/exprs.tex
index 93ccc4a..56b57e8 100644
--- a/ltx/exprs.tex
+++ b/ltx/exprs.tex
@@ -1544,8 +1544,8 @@ \subsection{\valueTag{ExprSort::TemplateReference}}
 	\structure{
 		\DeclareMember{locus}{SourceLocation} \\
 		\DeclareMember{type}{TypeIndex} \\
+		\DeclareMember{member}{DeclIndex} \\
 		\DeclareMember{member\_name}{NameIndex} \\
-		\DeclareMember{member\_locus}{SourceLocation} \\
 		\DeclareMember{scope}{TypeIndex} \\
 		\DeclareMember{arguments}{ExprIndex} \\
 	}
@@ -1553,11 +1553,16 @@ \subsection{\valueTag{ExprSort::TemplateReference}}
 	\label{fig:ifc-member-template-expression-structure}
 \end{figure}
 %
+with the following meanings for the fields
+\begin{itemize}
+	\item \field{locus} designates the source location of the reference to the template member
+	\item \field{type} designates the type of this expression
+	\item \field{member} designates the declaration of the template member
+	\item \field{member\_name} designates the name of the referenced template member
+	\item \field{scope} field designates the enclosing scope of the member
+	\item \field{arguments} designates the set of template arguments to this member
+\end{itemize}
 
-The \field{member\_name} field designates the name of the member; the \field{member\_locus} designates the source location where the member is declared.
-The \field{scope} field designates the enclosing scope of the member.  The \field{arguments} designates the set of template arguments to
-this member.
-The field \field{locus} is the source location where the expression appears.
 
 \partition{expr.template-reference}