From e8dc0e623b6836c0d68a574fba4d58bbc16b17cb Mon Sep 17 00:00:00 2001
From: "David A. Madore" <david+git@madore.org>
Date: Fri, 15 Dec 2023 17:33:37 +0100
Subject: Fix typing errors.

---
 transp-inf110-02-typage.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/transp-inf110-02-typage.tex b/transp-inf110-02-typage.tex
index 4add232..188b7eb 100644
--- a/transp-inf110-02-typage.tex
+++ b/transp-inf110-02-typage.tex
@@ -3174,8 +3174,8 @@ $\inferrule*{
 \inferrule*{
 \inferrule*{ }{x_2:A_2\vdash x_2:A_2}
 \\
-\inferrule*{ }{\_:C \vdash \_ [] : C}
-}{x_2:A_2;\_:A_2\to B \vdash \_ [x_2] : A_2\to B}
+\inferrule*{ }{\_:B \vdash \_ [] : B}
+}{x_2:A_2;\_:A_2\to B \vdash \_ [x_2] : B}
 }{x_1:A_1, x_2:A_2;\_:C \vdash \_ [x_1; x_2] : B}
 }{y:C, x_1:A_1, x_2:A_2\vdash y [x_1; x_2] : B}$
 }
-- 
cgit v1.2.3