From 4bfb3331804fd191a1d5fb92e99ae17b080f4f7b Mon Sep 17 00:00:00 2001
From: Matthieu Sozeau
Date: Tue, 8 Apr 2014 15:59:36 +0200
Subject: Fix set_leq_sort refusing max(u,Set) <= Set when u is flexible.

---
 test-suite/bugs/closed/2342.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'test-suite')

diff --git a/test-suite/bugs/closed/2342.v b/test-suite/bugs/closed/2342.v
index 094e5466cb..6613b28571 100644
--- a/test-suite/bugs/closed/2342.v
+++ b/test-suite/bugs/closed/2342.v
@@ -4,5 +4,5 @@
 Parameter A : Set.
 Parameter B : A -> Set.
 Parameter F : Set -> Prop. 
-Check (F (forall x, B x)). 
+Check (F (forall x, B x)).
 
-- 
cgit v1.2.3