From eab690762416de8560edf8160f8bec1c8ef9ef28 Mon Sep 17 00:00:00 2001
From: Andreas Stadelmeier <andi@paulus.haus>
Date: Wed, 14 Feb 2024 02:24:27 +0100
Subject: [PATCH] Fix

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

diff --git a/unify.tex b/unify.tex
index 887e14a..7db53b6 100644
--- a/unify.tex
+++ b/unify.tex
@@ -774,7 +774,7 @@ This builds a search tree over multiple possible solutions.
               \wildcardEnv \vdash C \cup \wctype{\Delta}{C}{\ol{T}} \lessdot \ntv{a}\\
               \hline
               \wildcardEnv \vdash C \cup \set{\wctype{\Delta}{C}{\ol{T}} \lessdot \ntv{a},
-            \tv{a} \doteq \wctype{\overline{\wildcard{X}{\tv{u}}{\tv{l}}}}{C}{\overline{\rwildcard{X}}},
+            \ntv{a} \doteq \wctype{\overline{\wildcard{X}{\tv{u}}{\tv{l}}}}{C}{\overline{\rwildcard{X}}},
             %\overline{\tv{l} \lessdot \tv{u}}, % not needed, due to subst and reduce rule which are used afterwards
             \overline{\tv{u} \lessdot \type{S}}
             }