diff options
| -rw-r--r-- | theories/Bool/Bvector.v | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/theories/Bool/Bvector.v b/theories/Bool/Bvector.v index 4eb05d12f1..3d615485b9 100644 --- a/theories/Bool/Bvector.v +++ b/theories/Bool/Bvector.v @@ -102,6 +102,7 @@ Fixpoint BshiftRa_iter (n:nat) (bv:Bvector (S n)) (p:nat) : Bvector (S n) := End BOOLEAN_VECTORS. Module BvectorNotations. +Declare Scope Bvector_scope. Delimit Scope Bvector_scope with Bvector. Notation "^~ x" := (Bneg _ x) (at level 35, right associativity) : Bvector_scope. Infix "^&" := (BVand _) (at level 40, left associativity) : Bvector_scope. |