Fix constraints in hs231

[codecov[bot]]

Codecov Report

Patch coverage: 100.00% and no project coverage change.

Comparison is base (21a8ec5) 99.73% compared to head (9bd8693) 99.73%.

Additional details and impacted files

```diff @@ Coverage Diff @@ ## main #307 +/- ## ======================================= Coverage 99.73% 99.73% ======================================= Files 1078 1078 Lines 12184 12184 ======================================= Hits 12152 12152 Misses 32 32 ``` | [Impacted Files](https://app.codecov.io/gh/JuliaSmoothOptimizers/OptimizationProblems.jl/pull/307?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=JuliaSmoothOptimizers) | Coverage Δ | | |---|---|---| | [src/ADNLPProblems/hs231.jl](https://app.codecov.io/gh/JuliaSmoothOptimizers/OptimizationProblems.jl/pull/307?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=JuliaSmoothOptimizers#diff-c3JjL0FETkxQUHJvYmxlbXMvaHMyMzEuamw=) | `100.00% <ø> (ø)` | | | [src/ADNLPProblems/hs232.jl](https://app.codecov.io/gh/JuliaSmoothOptimizers/OptimizationProblems.jl/pull/307?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=JuliaSmoothOptimizers#diff-c3JjL0FETkxQUHJvYmxlbXMvaHMyMzIuamw=) | `100.00% <ø> (ø)` | | | [src/PureJuMP/hs231.jl](https://app.codecov.io/gh/JuliaSmoothOptimizers/OptimizationProblems.jl/pull/307?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=JuliaSmoothOptimizers#diff-c3JjL1B1cmVKdU1QL2hzMjMxLmps) | `100.00% <ø> (ø)` | | | [src/PureJuMP/hs233.jl](https://app.codecov.io/gh/JuliaSmoothOptimizers/OptimizationProblems.jl/pull/307?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=JuliaSmoothOptimizers#diff-c3JjL1B1cmVKdU1QL2hzMjMzLmps) | `100.00% <100.00%> (ø)` | |

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Do you have feedback about the report comment? Let us know in this issue.