diff options
Diffstat (limited to 'checklink/Library.ml')
-rw-r--r-- | checklink/Library.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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) |