diff options
Diffstat (limited to 'theories/Init/Notations.v')
-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 9fe617136..cfc622aeb 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 Notation "x <= y" (at level 5, no associativity). -Uninterpreted Notation "x < y" (at level 5, no associativity). -Uninterpreted Notation "x >= y" (at level 5, no associativity). -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). (** Arithmetical notations (also used for type constructors) *) |