fix error in previous release https://github.com/rust-or/highs/pull/10

fix error in previous release https://github.com/rust-or/highs/pull/10 #25