Fix type of ExprSort::Cast target field (#111)

Fix #110
microsoft · Sep 5, 2023 · 9cfc67c · 9cfc67c
1 parent 48cb121
commit 9cfc67c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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}