summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2018-01-30 16:08:25 (GMT)
committerDavid A. Madore <david+git@madore.org>2018-01-30 16:08:25 (GMT)
commit4307a310373c44569f175d1cb2d5f5fad87fe19c (patch)
tree6b339ed634b28716449d03fb95695f5ee888b0fe
parent1e7e4ee5c5007d4a5113fb0f942fe7649cac7772 (diff)
downloadinf105-4307a310373c44569f175d1cb2d5f5fad87fe19c.zip
inf105-4307a310373c44569f175d1cb2d5f5fad87fe19c.tar.gz
inf105-4307a310373c44569f175d1cb2d5f5fad87fe19c.tar.bz2
Eliminate ugly slash.
-rw-r--r--controle-20180206.tex2
1 files changed, 1 insertions, 1 deletions
diff --git a/controle-20180206.tex b/controle-20180206.tex
index 8ab48c3..f031fb6 100644
--- a/controle-20180206.tex
+++ b/controle-20180206.tex
@@ -454,7 +454,7 @@ On obtient les arbres d'analyse suivants :
\end{tikzpicture}
\end{corrige}
-(2) En considérant que $(w)$ a le même effet / la même valeur
+(2) En considérant que $(w)$ a le même effet ou la même valeur
que $w$ : (a) L'une des deux opérations $\#$ et $@$ est-elle
prioritaire\footnote{On dit qu'une opération binaire $\boxtimes$ est
\emph{prioritaire} sur $\boxplus$ lorsque « $u\boxtimes v\boxplus