summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--_tags2
-rw-r--r--checklink/Library.ml2
2 files changed, 2 insertions, 2 deletions
diff --git a/_tags b/_tags
index 7e8b6bd..501e42a 100644
--- a/_tags
+++ b/_tags
@@ -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 e6f1e2c..2c7a337 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)