Line 4 of the proof now has a proper reference

rzach · Apr 24, 2021 · dc1ee09 · dc1ee09
1 parent 6415118
commit dc1ee09
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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