From 00a5e1af73862b1b1aa29b5a07fe43f80f29c764 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Thu, 4 Dec 2014 15:16:55 +0100
Subject: Removed unused variable and changed the search for the installation
 directory. Use Sys.executable_name instead of Sys.argv.(0).

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

(limited to 'checklink')

diff --git a/checklink/Check.ml b/checklink/Check.ml
index 0876f881..c99a4db4 100644
--- a/checklink/Check.ml
+++ b/checklink/Check.ml
@@ -536,11 +536,6 @@ let check_label_existence ffw =
 *)
 let rec match_jmptbl lbllist vaddr size ffw =
   let atom = Hashtbl.find ffw.sf.atoms ffw.this_ident in
-  let jmptbl_section =
-    match atom.a_sections with
-    | [_; _; j] -> j
-    | _ -> Section_jumptable
-  in
   let rec match_jmptbl_aux lbllist bs ffw =
     match lbllist with
     | [] -> OK ffw
-- 
cgit