Delete trailing whitespaces in all *.{v,ml*} files

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12337 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 8 insertions, 8 deletions

diff --git a/theories/Sets/Relations_3.v b/theories/Sets/Relations_3.v
index ec8fb7e6d..970db1827 100644
--- a/theories/Sets/Relations_3.v
+++ b/theories/Sets/Relations_3.v
@@ -32,26 +32,26 @@ Require Export Relations_2.
 Section Relations_3.
    Variable U : Type.
    Variable R : Relation U.
-   
+
    Definition coherent (x y:U) : Prop :=
       exists z : _, Rstar U R x z /\ Rstar U R y z.
-   
+
    Definition locally_confluent (x:U) : Prop :=
      forall y z:U, R x y -> R x z -> coherent y z.
-   
+
    Definition Locally_confluent : Prop := forall x:U, locally_confluent x.
-   
+
    Definition confluent (x:U) : Prop :=
      forall y z:U, Rstar U R x y -> Rstar U R x z -> coherent y z.
-   
+
    Definition Confluent : Prop := forall x:U, confluent x.
-   
+
    Inductive noetherian (x: U) : Prop :=
        definition_of_noetherian :
          (forall y:U, R x y -> noetherian y) -> noetherian x.
-   
+
    Definition Noetherian : Prop := forall x:U, noetherian x.
-   
+
 End Relations_3.
 Hint Unfold coherent: sets v62.
 Hint Unfold locally_confluent: sets v62.