Fix build on 5.0 (remove deprecated Thread.kill)

gildor478 / ounit

Other

88 stars 18 forks source link

Fix build on 5.0 (remove deprecated Thread.kill) #91

Closed OlivierNicole closed 2 years ago

OlivierNicole commented 2 years ago

This is a quick fix to get ounit2 to compile on trunk again. Since Thread.kill only ever raised Invalid_argument, I replace its call with that exception.

gildor478 commented 2 years ago

This is related to #85.

gildor478 commented 2 years ago

Thanks for the PR, this is pushed to opam. https://github.com/ocaml/opam-repository/pull/20514