From 2d3330d132b22db7dd44399e0aac6e9e60470f59 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Thu, 4 Dec 2014 16:06:25 +0100
Subject: Removed more unused variables.

---
 checklink/Check.ml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/checklink/Check.ml b/checklink/Check.ml
index c99a4db4..87910863 100644
--- a/checklink/Check.ml
+++ b/checklink/Check.ml
@@ -535,7 +535,6 @@ let check_label_existence ffw =
     had the expected [size].
 *)
 let rec match_jmptbl lbllist vaddr size ffw =
-  let atom = Hashtbl.find ffw.sf.atoms ffw.this_ident in
   let rec match_jmptbl_aux lbllist bs ffw =
     match lbllist with
     | [] -> OK ffw
-- 
cgit