From 29804911a1752d7744b32d2725e8b9b1abec772d Mon Sep 17 00:00:00 2001
From: "David A. Madore" <david+git@madore.org>
Date: Thu, 28 Dec 2023 19:40:58 +0100
Subject: Forgotten braces.

---
 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 c5a8f1f..d3906f4 100644
--- a/transp-inf110-02-typage.tex
+++ b/transp-inf110-02-typage.tex
@@ -4676,8 +4676,8 @@ On définit les opérations suivantes sur les problèmes finis :
 \item $(X,S)\dottedlimp (Y,T) = (Y^X, U)$ où $U := \{f\colon X\to Y :
   f(S) \subseteq T\}$ (fonctions envoyant une solution de $(X,S)$ en
   une solution de $(Y,T)$)
-\item $\dottedtop = (\bullet,\{\bullet\})$
-\quad\itempoint $\dottedbot = (\bullet, \varnothing)$
+\item $\dottedtop = (\{\bullet\},\{\bullet\})$
+\quad\itempoint $\dottedbot = (\{\bullet\}, \varnothing)$
 \end{itemize}
 
 \medskip
-- 
cgit v1.2.3