From f7dfa9d5e1195b8db3711126f953c1605e8cfcf2 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Sat, 21 Feb 2015 21:22:24 +0100
Subject: Moving test for bug #3071.

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

diff --git a/test-suite/bugs/closed/3071.v b/test-suite/bugs/closed/3071.v
new file mode 100644
index 0000000000..611ac60655
--- /dev/null
+++ b/test-suite/bugs/closed/3071.v
@@ -0,0 +1,5 @@
+Definition foo := True.
+
+Section foo.
+  Global Arguments foo / .
+Fail End foo.
diff --git a/test-suite/bugs/opened/3071.v b/test-suite/bugs/opened/3071.v
deleted file mode 100644
index 611ac60655..0000000000
--- a/test-suite/bugs/opened/3071.v
+++ /dev/null
@@ -1,5 +0,0 @@
-Definition foo := True.
-
-Section foo.
-  Global Arguments foo / .
-Fail End foo.
-- 
cgit v1.2.3