diff options
Diffstat (limited to 'src/versions/standard/Array/PArray_standard.v')
-rw-r--r-- | src/versions/standard/Array/PArray_standard.v | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/versions/standard/Array/PArray_standard.v b/src/versions/standard/Array/PArray_standard.v index 83bc943..99a7e65 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. |