diff options
Diffstat (limited to 'mathcomp/ssreflect')
| -rw-r--r-- | mathcomp/ssreflect/ssrAC.v | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/mathcomp/ssreflect/ssrAC.v b/mathcomp/ssreflect/ssrAC.v index 151e8ae..8483f71 100644 --- a/mathcomp/ssreflect/ssrAC.v +++ b/mathcomp/ssreflect/ssrAC.v @@ -227,9 +227,9 @@ Notation opAC op p s := (opACof op (AC.pattern p%AC) s%AC). Notation opACl op s := (opAC op (AC.Leaf_of_nat (size (AC.serial s%AC))) s%AC). Notation "op .[ 'ACof' p s ]" := (opACof op p s) - (at level 2, p at level 0, left associativity). + (at level 2, p at level 1, left associativity). Notation "op .[ 'AC' p s ]" := (opAC op p s) - (at level 2, p at level 0, left associativity). + (at level 2, p at level 1, left associativity). Notation "op .[ 'ACl' s ]" := (opACl op s) (at level 2, left associativity). |