From 5cde568f4c839ae4e1833bf95fe34dcc9ec54759 Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Tue, 20 Nov 2018 13:20:11 +0100
Subject: Rename gh->bug_ test files

---
 test-suite/bugs/closed/bug_6165.v | 5 +++++
 test-suite/bugs/closed/bug_6384.v | 5 +++++
 test-suite/bugs/closed/bug_6385.v | 5 +++++
 test-suite/bugs/closed/gh6165.v   | 5 -----
 test-suite/bugs/closed/gh6384.v   | 5 -----
 test-suite/bugs/closed/gh6385.v   | 5 -----
 6 files changed, 15 insertions(+), 15 deletions(-)
 create mode 100644 test-suite/bugs/closed/bug_6165.v
 create mode 100644 test-suite/bugs/closed/bug_6384.v
 create mode 100644 test-suite/bugs/closed/bug_6385.v
 delete mode 100644 test-suite/bugs/closed/gh6165.v
 delete mode 100644 test-suite/bugs/closed/gh6384.v
 delete mode 100644 test-suite/bugs/closed/gh6385.v

diff --git a/test-suite/bugs/closed/bug_6165.v b/test-suite/bugs/closed/bug_6165.v
new file mode 100644
index 0000000000..b87a7caaf2
--- /dev/null
+++ b/test-suite/bugs/closed/bug_6165.v
@@ -0,0 +1,5 @@
+(* -*- mode: coq; coq-prog-args: ("-quick") -*- *)
+
+Goal True.
+  abstract exact I.
+Timeout 1 Defined.
diff --git a/test-suite/bugs/closed/bug_6384.v b/test-suite/bugs/closed/bug_6384.v
new file mode 100644
index 0000000000..cec84642fb
--- /dev/null
+++ b/test-suite/bugs/closed/bug_6384.v
@@ -0,0 +1,5 @@
+Theorem test (A:Prop) : A \/ A -> A.
+  Fail intro H; destruct H as H.
+  (* Error: Disjunctive/conjunctive introduction pattern expected. *)
+  Fail intros H; destruct H as H.
+Abort.
diff --git a/test-suite/bugs/closed/bug_6385.v b/test-suite/bugs/closed/bug_6385.v
new file mode 100644
index 0000000000..3bbb664f4f
--- /dev/null
+++ b/test-suite/bugs/closed/bug_6385.v
@@ -0,0 +1,5 @@
+Theorem test (A:Prop) : A \/ A -> A.
+  Fail let H := idtac in intros H; destruct H as H'.
+  (* Disjunctive/conjunctive introduction pattern expected. *)
+  Fail let H' := idtac in intros H; destruct H as H'.
+Abort.
diff --git a/test-suite/bugs/closed/gh6165.v b/test-suite/bugs/closed/gh6165.v
deleted file mode 100644
index b87a7caaf2..0000000000
--- a/test-suite/bugs/closed/gh6165.v
+++ /dev/null
@@ -1,5 +0,0 @@
-(* -*- mode: coq; coq-prog-args: ("-quick") -*- *)
-
-Goal True.
-  abstract exact I.
-Timeout 1 Defined.
diff --git a/test-suite/bugs/closed/gh6384.v b/test-suite/bugs/closed/gh6384.v
deleted file mode 100644
index cec84642fb..0000000000
--- a/test-suite/bugs/closed/gh6384.v
+++ /dev/null
@@ -1,5 +0,0 @@
-Theorem test (A:Prop) : A \/ A -> A.
-  Fail intro H; destruct H as H.
-  (* Error: Disjunctive/conjunctive introduction pattern expected. *)
-  Fail intros H; destruct H as H.
-Abort.
diff --git a/test-suite/bugs/closed/gh6385.v b/test-suite/bugs/closed/gh6385.v
deleted file mode 100644
index 3bbb664f4f..0000000000
--- a/test-suite/bugs/closed/gh6385.v
+++ /dev/null
@@ -1,5 +0,0 @@
-Theorem test (A:Prop) : A \/ A -> A.
-  Fail let H := idtac in intros H; destruct H as H'.
-  (* Disjunctive/conjunctive introduction pattern expected. *)
-  Fail let H' := idtac in intros H; destruct H as H'.
-Abort.
-- 
cgit v1.2.3