remove Bvector (#1864)

mit-plv · Apr 16, 2024 · 6cb80fb · 6cb80fb
1 parent 7ec76f9
commit 6cb80fb
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/Util/ZUtil/Bitwise.v b/src/Util/ZUtil/Bitwise.v
@@ -3,7 +3,6 @@ Require Import Coq.Arith.Arith.
 Require Import Coq.ZArith.ZArith.
 Require Import Coq.Lists.List.
 Require Import Coq.Bool.Bool.
-Require Import Coq.Bool.Bvector.
 Require Import Crypto.Util.ZUtil.Tactics.LtbToLt.
 Require Import Crypto.Util.ZUtil.Stabilization.
 Require Import Crypto.Util.ListUtil.