diff options
Diffstat (limited to 'theories/Structures/Orders.v')
-rw-r--r-- | theories/Structures/Orders.v | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/theories/Structures/Orders.v b/theories/Structures/Orders.v index 1d0254397..e179bd8b4 100644 --- a/theories/Structures/Orders.v +++ b/theories/Structures/Orders.v @@ -15,11 +15,11 @@ Unset Strict Implicit. (** First, signatures with only the order relations *) Module Type HasLt (Import T:Typ). - Parameter Inline lt : t -> t -> Prop. + Parameter Inline(40) lt : t -> t -> Prop. End HasLt. Module Type HasLe (Import T:Typ). - Parameter Inline le : t -> t -> Prop. + Parameter Inline(40) le : t -> t -> Prop. End HasLe. Module Type EqLt := Typ <+ HasEq <+ HasLt. |