rename test files (do not start by a digit)

1 files changed, 0 insertions, 38 deletions

diff --git a/test-suite/bugs/closed/1791.v b/test-suite/bugs/closed/1791.v
deleted file mode 100644
index be0e8ae8ba..0000000000
--- a/test-suite/bugs/closed/1791.v
+++ /dev/null
@@ -1,38 +0,0 @@
-(* simpl performs eta expansion *)
-
-Set Implicit Arguments.
-Require Import List.
-
-Definition k0 := Set.
-Definition k1 := k0 -> k0.
-
-(** iterating X n times *)
-Fixpoint Pow (X:k1)(k:nat){struct k}:k1:=
-  match k with 0 => fun X => X
-             |  S k' => fun A => X (Pow X k' A)
-  end.
-
-Parameter Bush: k1.
-Parameter BushToList: forall (A:k0), Bush A ->  list A.
-
-Definition BushnToList (n:nat)(A:k0)(t:Pow Bush n A): list A.
-Proof.
-  intros.
-  induction n.
-  exact (t::nil).
-  simpl in t.
-  exact (flat_map IHn (BushToList t)).
-Defined.
-
-Parameter bnil : forall (A:k0), Bush A.
-Axiom BushToList_bnil: forall (A:k0), BushToList (bnil A) = nil(A:=A).
-
-Lemma BushnToList_bnil (n:nat)(A:k0):
-  BushnToList (S n) A (bnil (Pow Bush n A)) = nil.
-Proof.
-  intros.
-  simpl.
-  rewrite BushToList_bnil.
-  simpl.
-  reflexivity.
-Qed.