diff options
| -rw-r--r-- | theories/Init/Notations.v | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/theories/Init/Notations.v b/theories/Init/Notations.v index cfc622aeb..3d216680d 100644 --- a/theories/Init/Notations.v +++ b/theories/Init/Notations.v @@ -32,10 +32,10 @@ Uninterpreted Notation "x <> y :> T" Uninterpreted Notation "x <> y" (at level 5, no associativity). -Uninterpreted V8Notation "x <= y" (at level 5, no associativity). -Uninterpreted V8Notation "x < y" (at level 5, no associativity). -Uninterpreted V8Notation "x >= y" (at level 5, no associativity). -Uninterpreted V8Notation "x > y" (at level 5, no associativity). +Uninterpreted V8Notation "x <= y" (at level 50, no associativity). +Uninterpreted V8Notation "x < y" (at level 50, no associativity). +Uninterpreted V8Notation "x >= y" (at level 50, no associativity). +Uninterpreted V8Notation "x > y" (at level 50, no associativity). (** Arithmetical notations (also used for type constructors) *) |