diff --git a/src/Bridges/Constraint/set_map.jl b/src/Bridges/Constraint/set_map.jl index fcf7defb42..564c4b2f2d 100644 --- a/src/Bridges/Constraint/set_map.jl +++ b/src/Bridges/Constraint/set_map.jl @@ -10,8 +10,8 @@ Consider two type of sets, `S1` and `S2`, and a linear mapping `A` such that the image of a set of type `S1` under `A` is a set of type `S2`. -A `SetMapBridge{T,S2,S1,F,G}` is a bridge that maps `G`-in-`S2` constraints -into `F`-in-`S1` by mapping the function through `A`. +A `SetMapBridge{T,S2,S1,F,G}` is a bridge that maps `G`-in-`S1` constraints +into `F`-in-`S2` by mapping the function through `A`. The linear map `A` is described by; diff --git a/src/functions.jl b/src/functions.jl index adc9b0747d..c2c6a984bf 100644 --- a/src/functions.jl +++ b/src/functions.jl @@ -64,7 +64,7 @@ function term_pair end # VariableIndex is defined in indextypes.jl -constant(f::VariableIndex, ::Type{T}) where {T} = zero(T) +constant(::VariableIndex, ::Type{T}) where {T} = zero(T) Base.copy(x::VariableIndex) = x