From 61c435ef2347a68a744c9d4a502153ebc57fde9d Mon Sep 17 00:00:00 2001
From: "David A. Madore" <david+git@madore.org>
Date: Thu, 25 Jan 2018 13:04:00 +0100
Subject: Erratum on the errata. :-\

---
 errata-notes-inf105.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/errata-notes-inf105.tex b/errata-notes-inf105.tex
index cb2e0d6..4afd008 100644
--- a/errata-notes-inf105.tex
+++ b/errata-notes-inf105.tex
@@ -226,7 +226,7 @@ uniquement).
 
 {\footnotesize
 
-Définiiton 5.1.5, deuxième paragraphe, (page 66), pour éclaircir la
+Définition 5.1.5, deuxième paragraphe, (page 66), pour éclaircir la
 syntaxe, ajouter « et » devant « « non » ($0$) ».
 
 \medskip
-- 
cgit v1.2.3