From db22ae6140259dd065fdd80af4cb3c3bab41c184 Mon Sep 17 00:00:00 2001
From: Vincent Laporte
Date: Tue, 2 Oct 2018 13:44:46 +0000
Subject: rename test files (do not start by a digit)

---
 test-suite/interactive/4289.v     | 14 --------------
 test-suite/interactive/bug_4289.v | 14 ++++++++++++++
 2 files changed, 14 insertions(+), 14 deletions(-)
 delete mode 100644 test-suite/interactive/4289.v
 create mode 100644 test-suite/interactive/bug_4289.v

(limited to 'test-suite/interactive')

diff --git a/test-suite/interactive/4289.v b/test-suite/interactive/4289.v
deleted file mode 100644
index 610a509c9b..0000000000
--- a/test-suite/interactive/4289.v
+++ /dev/null
@@ -1,14 +0,0 @@
-(* Checking backtracking with modules which used to fail due to an
-   hash-consing bug *)
-
-Module Type A.
-  Axiom B : nat.
-End A.
-Module C (a : A).
-  Include a.
-  Definition c : nat := B.
-End C.
-Back 4.
-Module C (a : A).
-  Include a.
-  Definition c : nat := B.
diff --git a/test-suite/interactive/bug_4289.v b/test-suite/interactive/bug_4289.v
new file mode 100644
index 0000000000..610a509c9b
--- /dev/null
+++ b/test-suite/interactive/bug_4289.v
@@ -0,0 +1,14 @@
+(* Checking backtracking with modules which used to fail due to an
+   hash-consing bug *)
+
+Module Type A.
+  Axiom B : nat.
+End A.
+Module C (a : A).
+  Include a.
+  Definition c : nat := B.
+End C.
+Back 4.
+Module C (a : A).
+  Include a.
+  Definition c : nat := B.
-- 
cgit v1.2.3