From 5f5acaaffb3d0703f21d647605c87cf10a2796d0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Beno=C3=AEt=20Legat?= <benoit.legat@gmail.com>
Date: Thu, 5 Sep 2024 00:11:11 +0200
Subject: [PATCH] Fix typo in docstring of AllDifferent bridge (#2543)

---
 src/Bridges/Constraint/bridges/count_distinct.jl | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/Bridges/Constraint/bridges/count_distinct.jl b/src/Bridges/Constraint/bridges/count_distinct.jl
index fa4ce11f2f..977e542f73 100644
--- a/src/Bridges/Constraint/bridges/count_distinct.jl
+++ b/src/Bridges/Constraint/bridges/count_distinct.jl
@@ -48,14 +48,14 @@ the constraint is equivalent to `[x, y] in AllDifferent(2)`, which is equivalent
 to `x != y`.
 
 ```math
-(x - y <= -1) \\vee (y - x <= -1)
+(x - y \\le -1) \\vee (y - x \\le -1)
 ```
 which is equivalent to (for suitable `M`):
 ```math
 \\begin{aligned}
 z \\in \\{0, 1\\} \\\\
-x - y - M * z <= -1 \\\\
-y - x - M * (1 - z) <= -1
+x - y - M z \\le -1 \\\\
+y - x - M (1 - z) \\le -1
 \\end{aligned}
 ```