From c9d9e0ffa4bd3efb9366726f3c78374d71f87b8b Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Thu, 4 Sep 2014 14:16:01 +0200
Subject: Status error for bug #3459.

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

(limited to 'test-suite')

diff --git a/test-suite/bugs/closed/3459.v b/test-suite/bugs/closed/3459.v
deleted file mode 100644
index db42d96053..0000000000
--- a/test-suite/bugs/closed/3459.v
+++ /dev/null
@@ -1,9 +0,0 @@
-Goal 1 = 2.
-Proof.
-match goal with
-  | [ |- context G[2] ] => let y := constr:(fun x => $(let r := constr:(@eq Set x x) in
-                                                       clear x;
-                                                       exact r)$) in
-                           pose y
-end.
-Abort.
diff --git a/test-suite/bugs/opened/3459.v b/test-suite/bugs/opened/3459.v
new file mode 100644
index 0000000000..db42d96053
--- /dev/null
+++ b/test-suite/bugs/opened/3459.v
@@ -0,0 +1,9 @@
+Goal 1 = 2.
+Proof.
+match goal with
+  | [ |- context G[2] ] => let y := constr:(fun x => $(let r := constr:(@eq Set x x) in
+                                                       clear x;
+                                                       exact r)$) in
+                           pose y
+end.
+Abort.
-- 
cgit v1.2.3