From da1309632d35c910a6d3ae14ad2f5af037fce89e Mon Sep 17 00:00:00 2001
From: Brian Campbell
Date: Wed, 5 Feb 2020 21:53:48 +0000
Subject: Tweak Coq scopes for 8.11

---
 lib/coq/Sail2_operators_mwords.v | 1 +
 1 file changed, 1 insertion(+)

diff --git a/lib/coq/Sail2_operators_mwords.v b/lib/coq/Sail2_operators_mwords.v
index 9970dcd5..1f176ad9 100644
--- a/lib/coq/Sail2_operators_mwords.v
+++ b/lib/coq/Sail2_operators_mwords.v
@@ -8,6 +8,7 @@ Require Import Arith.
 Require Import ZArith.
 Require Import Omega.
 Require Import Eqdep_dec.
+Open Scope Z.
 
 Fixpoint cast_positive (T : positive -> Type) (p q : positive) : T p -> p = q -> T q.
 refine (
-- 
cgit v1.2.3