From 61ccbc81a2f3b4662ed4a2bad9d07d2003dda3a2 Mon Sep 17 00:00:00 2001
From: glondu
Date: Thu, 17 Sep 2009 15:58:14 +0000
Subject: 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
---
 test-suite/complexity/injection.v | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'test-suite/complexity')

diff --git a/test-suite/complexity/injection.v b/test-suite/complexity/injection.v
index db2d9c53f9..335996c27b 100644
--- a/test-suite/complexity/injection.v
+++ b/test-suite/complexity/injection.v
@@ -43,11 +43,11 @@ Record joinmap (key: Type) (t: Type) (j : joinable t) : Type
             exists s2, jm_j.(join) s1 s2 s3
 }.
 
-Parameter mkJoinmap :   forall (key: Type) (t: Type) (j: joinable t), 
+Parameter mkJoinmap :   forall (key: Type) (t: Type) (j: joinable t),
 joinmap key j.
 
 Parameter ADMIT: forall p: Prop, p.
-Implicit Arguments ADMIT [p].    
+Implicit Arguments ADMIT [p].
 
 Module Share.
 Parameter jb : joinable bool.
@@ -90,7 +90,7 @@ Definition jown : joinable own :=
   Joinable own_is_empty own_join
      ADMIT ADMIT  ADMIT  ADMIT  ADMIT  ADMIT  ADMIT  ADMIT .
 End Own.
-  
+
 Fixpoint sinv (n: nat) : Type :=
   match n with
    | O => unit
-- 
cgit v1.2.3