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, 13 insertions, 13 deletions

diff --git a/test-suite/success/AdvancedCanonicalStructure.v b/test-suite/success/AdvancedCanonicalStructure.v
index 8e613dcaa..c1405cf91 100644
--- a/test-suite/success/AdvancedCanonicalStructure.v
+++ b/test-suite/success/AdvancedCanonicalStructure.v
@@ -54,7 +54,7 @@ Open Scope type_scope.
 
 Section type_reification.
 
-Inductive term :Type := 
+Inductive term :Type :=
    Fun : term -> term -> term
  | Prod : term -> term -> term
  | Bool : term
@@ -63,18 +63,18 @@ Inductive term :Type :=
  | TYPE :term
  | Var : Type -> term.
 
-Fixpoint interp (t:term) := 
-  match t with 
+Fixpoint interp (t:term) :=
+  match t with
     Bool => bool
   | SET => Set
   | PROP => Prop
-  | TYPE => Type   
+  | TYPE => Type
   | Fun a b => interp a -> interp b
   | Prod a b => interp a * interp b
   | Var x => x
 end.
 
-Record interp_pair :Type := 
+Record interp_pair :Type :=
   { repr:>term;
     abs:>Type;
     link: abs = interp repr }.
@@ -95,25 +95,25 @@ thus thesis using rewrite (link a);rewrite (link b);reflexivity.
 end proof.
 Qed.
 
-Canonical Structure ProdCan (a b:interp_pair) := 
+Canonical Structure ProdCan (a b:interp_pair) :=
   Build_interp_pair (Prod a b) (a * b) (prod_interp a b).
 
-Canonical Structure FunCan (a b:interp_pair) := 
+Canonical Structure FunCan (a b:interp_pair) :=
   Build_interp_pair (Fun a b) (a -> b) (fun_interp a b).
 
-Canonical Structure BoolCan := 
+Canonical Structure BoolCan :=
   Build_interp_pair Bool bool (refl_equal _).
 
-Canonical Structure VarCan (x:Type) := 
+Canonical Structure VarCan (x:Type) :=
   Build_interp_pair (Var x) x (refl_equal _).
 
-Canonical Structure SetCan := 
+Canonical Structure SetCan :=
   Build_interp_pair SET Set (refl_equal _).
 
-Canonical Structure PropCan := 
+Canonical Structure PropCan :=
   Build_interp_pair PROP Prop (refl_equal _).
 
-Canonical Structure TypeCan := 
+Canonical Structure TypeCan :=
   Build_interp_pair TYPE Type (refl_equal _).
 
 (* Print Canonical Projections. *)
@@ -140,5 +140,5 @@ End type_reification.
 
 
 
- 
+