From 25f99b87cc2beb20aaa74a3a28a147f3afdf9467 Mon Sep 17 00:00:00 2001
From: Chantal Keller <Chantal.Keller@lri.fr>
Date: Tue, 28 Jan 2020 14:23:31 +0100
Subject: Hints in databases

---
 src/versions/standard/Array/PArray_standard.v | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/versions/standard/Array/PArray_standard.v')

diff --git a/src/versions/standard/Array/PArray_standard.v b/src/versions/standard/Array/PArray_standard.v
index e116339..ee0dd96 100644
--- a/src/versions/standard/Array/PArray_standard.v
+++ b/src/versions/standard/Array/PArray_standard.v
@@ -14,6 +14,8 @@
    trees *)
 
 
+Declare Scope array_scope.
+
 Require Import Int31.
 Require Export Int63.
 Require FMapAVL.
-- 
cgit