From 41a01d3abc50c8290422d082ef0815c939be4bc7 Mon Sep 17 00:00:00 2001
From: JanUlrich <andi@michlaustderaffe.de>
Date: Wed, 3 Apr 2024 21:01:21 +0200
Subject: [PATCH] Fix S-Exists

---
 tRules.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tRules.tex b/tRules.tex
index 0459b75..0dab758 100644
--- a/tRules.tex
+++ b/tRules.tex
@@ -289,7 +289,7 @@ $\begin{array}{l}
         \Delta', \Delta \vdash [\ol{T}/\ol{\type{X}}]\ol{L} <: \ol{T} \quad \quad
         \Delta', \Delta \vdash \ol{T} <: [\ol{T}/\ol{\type{X}}]\ol{U} \\
         \text{fv}(\ol{T}) \subseteq \text{dom}(\Delta, \Delta') \quad
-        \text{dom}(\Delta') \cap \text{fv}(\wctype{\ol{\wildcard{X}{U}{L}}}{C}{\ol{S}}) = \emptyset
+        \text{dom}(\Delta') \cap \text{fv}(\wcNtype{\ol{\wildcard{X}{U}{L}}}{N}) = \emptyset
         \\
         \hline
     \vspace*{-0.3cm}\\