Applying relokin's suggestion for herd/AArch64Sem.ml

Co-authored-by: Nikos Nikoleris <[email protected]>
herd · Jul 19, 2023 · c64b0e4 · c64b0e4
1 parent 3527fc7
commit c64b0e4
Showing 1 changed file with 6 additions and 8 deletions.
diff --git a/herd/AArch64Sem.ml b/herd/AArch64Sem.ml
@@ -2702,14 +2702,12 @@ module Make
  * instructions pointed to by "exported" labels.
  *)
       let get_overwriting_instrs test =
-        let init_instrs =
-          AArch64.state_fold
-            (fun _ v k ->
-              match v with
-              | V.Val (Constant.Instruction i) -> i::k
-              | _ -> k)
-            test.Test_herd.init_state [] in
-        init_instrs
+        AArch64.state_fold
+          (fun _ v k ->
+            match v with
+            | V.Val (Constant.Instruction i) -> i::k
+            | _ -> k)
+          test.Test_herd.init_state []
 
 
 (* Test all possible instructions, when appropriate *)