From dfeaea43d9e692984cf430f4f19ec527625586ea Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Wed, 3 Dec 2014 13:15:03 +0100
Subject: Updading test-suite.

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

diff --git a/test-suite/bugs/closed/3682.v b/test-suite/bugs/closed/3682.v
index 71baf78cf2..b8c5b4d524 100644
--- a/test-suite/bugs/closed/3682.v
+++ b/test-suite/bugs/closed/3682.v
@@ -2,4 +2,4 @@ Class Foo.
 Definition bar `{Foo} (x : Set) := Set.
 Instance: Foo.
 Definition bar1 := bar nat.
-Fail Definition bar2 := bar $(admit)$.
+Definition bar2 := bar $(admit)$.
-- 
cgit v1.2.3