1 files changed, 6 insertions, 6 deletions
diff --git a/theories/Sets/Partial_Order.v b/theories/Sets/Partial_Order.v
index 8589f387e..4fe8f4f6a 100644
--- a/theories/Sets/Partial_Order.v
+++ b/theories/Sets/Partial_Order.v
@@ -31,20 +31,20 @@ Require Export Relations_1.
 
 Section Partial_orders.
   Variable U : Type.
-  
+
   Definition Carrier := Ensemble U.
-  
+
   Definition Rel := Relation U.
-  
+
   Record PO : Type := Definition_of_PO
     { Carrier_of : Ensemble U;
       Rel_of : Relation U;
       PO_cond1 : Inhabited U Carrier_of;
       PO_cond2 : Order U Rel_of }.
   Variable p : PO.
-  
+
   Definition Strict_Rel_of : Rel := fun x y:U => Rel_of p x y /\ x <> y.
-  
+
   Inductive covers (y x:U) : Prop :=
     Definition_of_covers :
     Strict_Rel_of x y ->
@@ -60,7 +60,7 @@ Hint Resolve Definition_of_covers: sets v62.
 Section Partial_order_facts.
   Variable U : Type.
   Variable D : PO U.
-  
+
   Lemma Strict_Rel_Transitive_with_Rel :
     forall x y z:U,
       Strict_Rel_of U D x y -> Rel_of U D y z -> Strict_Rel_of U D x z.