Remove unnecessary import

draperlaboratory · Oct 8, 2024 · 243d8b0 · 243d8b0
1 parent 1b3901f
commit 243d8b0
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/ELFSage/Util/ByteArray.lean b/ELFSage/Util/ByteArray.lean
@@ -1,5 +1,3 @@
-import Std.Tactic.BVDecide
-
 def ByteArray.getUInt64BEfrom (bs : ByteArray) (offset : Nat) (h: bs.size - offset ≥ 8) : UInt64 :=
   (bs.get ⟨offset + 0, by omega⟩).toUInt64 <<< 0x38 |||
   (bs.get ⟨offset + 1, by omega⟩).toUInt64 <<< 0x30 |||