From 5dfac12e2cdee2e7fdefae2ca0783abe2884dce3 Mon Sep 17 00:00:00 2001
From: Henny Sipma <hennysipma@mac.com>
Date: Tue, 19 Nov 2024 22:01:27 -0800
Subject: [PATCH] CHB: remove unused variables

---
 CodeHawk/CHB/bchlibarm32/bCHTranslateARMToCHIF.ml  | 5 +----
 CodeHawk/CHB/bchlibarm32/bCHTranslateARMToCHIF.mli | 1 -
 2 files changed, 1 insertion(+), 5 deletions(-)

diff --git a/CodeHawk/CHB/bchlibarm32/bCHTranslateARMToCHIF.ml b/CodeHawk/CHB/bchlibarm32/bCHTranslateARMToCHIF.ml
index 7b435172..557ab13e 100644
--- a/CodeHawk/CHB/bchlibarm32/bCHTranslateARMToCHIF.ml
+++ b/CodeHawk/CHB/bchlibarm32/bCHTranslateARMToCHIF.ml
@@ -50,7 +50,6 @@ open BCHCPURegisters
 open BCHDoubleword
 open BCHFloc
 open BCHFtsParameter
-open BCHFunctionData
 open BCHFunctionInfo
 open BCHFunctionInterface
 open BCHLibTypes
@@ -493,7 +492,6 @@ let translate_arm_instruction
       ~(funloc:location_int)
       ~(codepc:arm_code_pc_int)
       ~(blocklabel:symbol_t)
-      ~(exitlabel:symbol_t)
       ~(cmds:cmd_t list) =
   let (ctxtiaddr, instr) = codepc#get_next_instruction in
   let faddr = funloc#f in
@@ -4042,8 +4040,7 @@ object (self)
     let rec aux cmds =
       let (nodes,edges,newcmds) =
         try
-          translate_arm_instruction
-            ~funloc ~codepc ~blocklabel ~exitlabel ~cmds
+          translate_arm_instruction ~funloc ~codepc ~blocklabel ~cmds
         with
         | BCH_failure p ->
            let msg =
diff --git a/CodeHawk/CHB/bchlibarm32/bCHTranslateARMToCHIF.mli b/CodeHawk/CHB/bchlibarm32/bCHTranslateARMToCHIF.mli
index 6e287aed..f5e94708 100644
--- a/CodeHawk/CHB/bchlibarm32/bCHTranslateARMToCHIF.mli
+++ b/CodeHawk/CHB/bchlibarm32/bCHTranslateARMToCHIF.mli
@@ -40,7 +40,6 @@ val translate_arm_instruction:
   funloc:location_int
   -> codepc:arm_code_pc_int
   -> blocklabel:symbol_t
-  -> exitlabel:symbol_t
   -> cmds:cmd_t list
   -> ((symbol_t
        * (code_t, 'a) command_t list) list