From a69ad950bbb27b0bb87fc055870c762bcf2891bc Mon Sep 17 00:00:00 2001
From: Gabriel Dos Reis <GabrielDosReis@users.noreply.github.com>
Date: Tue, 5 Sep 2023 05:47:33 -0700
Subject: [PATCH] Fix type of `ExprSort::Cast` target field (#111)

Fix #110
---
 ltx/exprs.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ltx/exprs.tex b/ltx/exprs.tex
index 1bf1dcd..7f7f832 100644
--- a/ltx/exprs.tex
+++ b/ltx/exprs.tex
@@ -873,7 +873,7 @@ \subsection{\valueTag{ExprSort::Cast}}
 		\DeclareMember{locus}{SourceLocation} \\
 		\DeclareMember{type}{TypeIndex} \\
 		\DeclareMember{source}{ExprIndex} \\
-		\DeclareMember{target}{Index} \\
+		\DeclareMember{target}{TypeIndex} \\
 		\DeclareMember{operator}{DyadicOperator} \\
 	}
 	\caption{Structure of a cast expression}