diff options
Diffstat (limited to 'contrib/correctness/Arrays_stuff.v')
| -rw-r--r-- | contrib/correctness/Arrays_stuff.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/correctness/Arrays_stuff.v b/contrib/correctness/Arrays_stuff.v index edb3c80583..184602c573 100644 --- a/contrib/correctness/Arrays_stuff.v +++ b/contrib/correctness/Arrays_stuff.v @@ -11,6 +11,6 @@ (* $Id$ *) Require Export Exchange. -Require Export Permut. +Require Export ArrayPermut. Require Export Sorted. |