From 132f34e2b98d7aa6c570bd12e319acdcdb1924bb Mon Sep 17 00:00:00 2001
From: Andreas Stadelmeier <andi@paulus.haus>
Date: Thu, 22 Feb 2024 17:38:44 +0100
Subject: [PATCH] Fix S-Extends

---
 tRules.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/tRules.tex b/tRules.tex
index 7b4891f..bea1cfb 100644
--- a/tRules.tex
+++ b/tRules.tex
@@ -95,12 +95,12 @@ $\begin{array}{l}
 $\begin{array}{l}
     \typerule{S-Extends}\\
     \begin{array}{@{}c}
-        \texttt{class}\ \exptype{C}{\overline{\type{X} \triangleleft \type{U}}} \triangleleft \exptype{D}{\ol{S}} \ \{ \ldots \} \\
+        \texttt{class}\ \exptype{C}{\overline{\type{X} \triangleleft \type{U}}} \triangleleft \type{N} \ \{ \ldots \} \\
         \ol{X} \cap \text{dom}(\Delta) = \emptyset
         \\
         \hline
     \vspace*{-0.3cm}\\
-        \Delta \vdash \wcNtype{\Delta'}{\type{N}} <: \wcNtype{\Delta'}{[\ol{T}/\ol{X}]\type{N}}
+        \Delta \vdash \wctype{\Delta'}{C}{\ol{T}} <: \wcNtype{\Delta'}{[\ol{T}/\ol{X}]\type{N}}
     \end{array}
 \end{array}$
 $\begin{array}{l}