From 1f9096fcc8f9dc71f7b4576818c29d2ae6a5dd5f Mon Sep 17 00:00:00 2001
From: varobert <varobert@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Wed, 11 Jul 2012 15:03:59 +0000
Subject: checklink: more stringent compilation

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1968 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 checklink/Library.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'checklink')

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)
 
-- 
cgit v1.2.3