From 40e93fc30a0b1aba6117d90aea9850816334b06c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Beno=C3=AEt=20Legat?= <benoit.legat@gmail.com>
Date: Thu, 27 Aug 2020 15:28:13 +0200
Subject: [PATCH] \Integer -> \mathbb{Z}

---
 src/Bridges/Constraint/semi_to_binary.jl | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/Bridges/Constraint/semi_to_binary.jl b/src/Bridges/Constraint/semi_to_binary.jl
index cdd3e75423..aeef00099f 100644
--- a/src/Bridges/Constraint/semi_to_binary.jl
+++ b/src/Bridges/Constraint/semi_to_binary.jl
@@ -14,7 +14,7 @@ The `SemiToBinaryBridge` replaces an Semiinteger constraint:
 ``x \\in Semiinteger(l, u)``
 is replaced by:
 ``z \\in \\{0, 1\\}``,
-``x \\in \\Integer``,
+``x \\in \\mathbb{Z}``,
 ``x \\leq z \\cdot u ``,
 ``x \\geq z \\cdot l ``.
 """
@@ -189,4 +189,4 @@ end
 function MOI.get(b::SemiToBinaryBridge{T, S},
     ::MOI.ListOfConstraintIndices{MOI.ScalarAffineFunction{T}, MOI.GreaterThan{T}}) where {T, S}
     return [b.lower_bound_index]
-end
\ No newline at end of file
+end