From a324989b7dea4a1db59fc7c373bd3fa5cb60f09a Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Thu, 27 Sep 2018 01:44:01 +0200
Subject: [stdlib] Fix warning due to missing Declare Scope in Bvector

This broke the build so it should be merged quickly.
---
 theories/Bool/Bvector.v | 1 +
 1 file changed, 1 insertion(+)

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.
-- 
cgit v1.2.3