summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2022-04-12 16:07:33 +0200
committerDavid A. Madore <david+git@madore.org>2022-04-12 16:07:33 +0200
commit601c73fdb6feff250cbcecae6cf7d985f71f4beb (patch)
tree0e3a8a2e83431fd0d9e207df98bb5a0e4b11f43f
parent2891b4e29dfc0d045a36d6370d502b4901661f02 (diff)
downloadinf105-601c73fdb6feff250cbcecae6cf7d985f71f4beb.tar.gz
inf105-601c73fdb6feff250cbcecae6cf7d985f71f4beb.tar.bz2
inf105-601c73fdb6feff250cbcecae6cf7d985f71f4beb.zip
Missing comma (thanks, Antoine Amarilli).
-rw-r--r--notes-inf105.tex2
1 files changed, 1 insertions, 1 deletions
diff --git a/notes-inf105.tex b/notes-inf105.tex
index 9967dad..b56b958 100644
--- a/notes-inf105.tex
+++ b/notes-inf105.tex
@@ -1229,7 +1229,7 @@ servent à ancrer l'expression au début et à la fin de la chaîne
respectivement : c'est-à-dire que rechercher « \texttt{a} » recherche
un \texttt{a} quelconque à l'intérieur de la chaîne donnée, rechercher
« \texttt{\char"5E\relax a} » demande que le \texttt{a} soit au début
-de la chaîne donnée rechercher « \texttt{a\char"24} » demande que le
+de la chaîne donnée, rechercher « \texttt{a\char"24} » demande que le
\texttt{a} soit à la fin de la chaîne donnée, et rechercher
« \texttt{\char"5E\relax a\char"24} » demande que la chaîne donnée
soit exactement \texttt{a} (cet exemple n'est donc pas très utile,