From 5b7eafd0f00a16d78f99a27f5c7d5a0de77dc7e6 Mon Sep 17 00:00:00 2001
From: Stephane Glondu <steph@glondu.net>
Date: Wed, 21 Jul 2010 09:46:51 +0200
Subject: Imported Upstream snapshot 8.3~beta0+13298

---
 test-suite/bugs/closed/shouldsucceed/1901.v | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'test-suite/bugs/closed/shouldsucceed/1901.v')

diff --git a/test-suite/bugs/closed/shouldsucceed/1901.v b/test-suite/bugs/closed/shouldsucceed/1901.v
index 598db366..7d86adbf 100644
--- a/test-suite/bugs/closed/shouldsucceed/1901.v
+++ b/test-suite/bugs/closed/shouldsucceed/1901.v
@@ -2,9 +2,9 @@ Require Import Relations.
 
 Record Poset{A:Type}(Le : relation A) : Type :=
   Build_Poset
-  { 
-    Le_refl : forall x : A, Le x x; 
-    Le_trans : forall x y z : A, Le x y -> Le y z -> Le x z; 
+  {
+    Le_refl : forall x : A, Le x x;
+    Le_trans : forall x y z : A, Le x y -> Le y z -> Le x z;
     Le_antisym : forall x y : A, Le x y -> Le y x -> x = y }.
 
 Definition nat_Poset : Poset Peano.le.
-- 
cgit v1.2.3