From 6566764abca36d661c5e403486458a326eeea4a4 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Sun, 30 Nov 2014 02:35:10 +0100
Subject: Test of bug #3682.

---
 test-suite/bugs/closed/3682.v | 5 +++++
 test-suite/bugs/opened/3682.v | 5 -----
 2 files changed, 5 insertions(+), 5 deletions(-)
 create mode 100644 test-suite/bugs/closed/3682.v
 delete mode 100644 test-suite/bugs/opened/3682.v

diff --git a/test-suite/bugs/closed/3682.v b/test-suite/bugs/closed/3682.v
new file mode 100644
index 0000000000..71baf78cf2
--- /dev/null
+++ b/test-suite/bugs/closed/3682.v
@@ -0,0 +1,5 @@
+Class Foo.
+Definition bar `{Foo} (x : Set) := Set.
+Instance: Foo.
+Definition bar1 := bar nat.
+Fail Definition bar2 := bar $(admit)$.
diff --git a/test-suite/bugs/opened/3682.v b/test-suite/bugs/opened/3682.v
deleted file mode 100644
index 71baf78cf2..0000000000
--- a/test-suite/bugs/opened/3682.v
+++ /dev/null
@@ -1,5 +0,0 @@
-Class Foo.
-Definition bar `{Foo} (x : Set) := Set.
-Instance: Foo.
-Definition bar1 := bar nat.
-Fail Definition bar2 := bar $(admit)$.
-- 
cgit v1.2.3