diff options
-rw-r--r-- | _tags | 2 | ||||
-rw-r--r-- | checklink/Library.ml | 2 |
2 files changed, 2 insertions, 2 deletions
@@ -1,3 +1,3 @@ <driver/Driver.*{byte,native}>: use_unix,use_str,use_Cparser -<checklink/*.ml>: pkg_bitstring +<checklink/*.ml>: pkg_bitstring,warn_error_A <checklink/Validator.*{byte,native}>: pkg_unix,pkg_str,pkg_bitstring,use_Cparser diff --git a/checklink/Library.ml b/checklink/Library.ml index e6f1e2cb..2c7a3377 100644 --- a/checklink/Library.ml +++ b/checklink/Library.ml @@ -105,7 +105,7 @@ let z_int32 = function let z_int32_lax = function | Z0 -> 0l | Zpos(p) -> positive_int32_lax p -| Zneg(p) -> raise Int32Overflow +| Zneg(_) -> raise Int32Overflow let z_int z = Safe32.to_int (z_int32 z) |