diff options
Diffstat (limited to 'contrib/correctness/ArrayPermut.v')
| -rw-r--r-- | contrib/correctness/ArrayPermut.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/correctness/ArrayPermut.v b/contrib/correctness/ArrayPermut.v index d183df49c7..55259b943d 100644 --- a/contrib/correctness/ArrayPermut.v +++ b/contrib/correctness/ArrayPermut.v @@ -21,7 +21,7 @@ Require Export Exchange. Require Omega. -Implicit Arguments On. +Set Implicit Arguments. (* We define "permut" as the smallest equivalence relation which contains * transpositions i.e. exchange of two elements. |