From dc1ee09bff934bd595006665a8d41a522a52be7a Mon Sep 17 00:00:00 2001
From: Pi-Cla <47367107+Pi-Cla@users.noreply.github.com>
Date: Wed, 21 Apr 2021 03:18:32 -0600
Subject: [PATCH] Line 4 of the proof now has a proper reference

---
 forallx-yyc-ml.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/forallx-yyc-ml.tex b/forallx-yyc-ml.tex
index 06ea4d8..cad8489 100644
--- a/forallx-yyc-ml.tex
+++ b/forallx-yyc-ml.tex
@@ -150,7 +150,7 @@ \section{System \mlK}
 		\hypo{2}{\ebox A}
 		\open
 		\hypo{3}{\ebox}
-		\have{4}{A}\boxe{m}
+		\have{4}{A}\boxe{2}
 		\have{5}{A \eif B}\boxe{1}
 		\have{6}{B}\ce{4,5}
 		\close