From 4307a310373c44569f175d1cb2d5f5fad87fe19c Mon Sep 17 00:00:00 2001
From: "David A. Madore" <david+git@madore.org>
Date: Tue, 30 Jan 2018 17:08:25 +0100
Subject: Eliminate ugly slash.

---
 controle-20180206.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
cgit v1.2.3