test-suite: rename a few files

14 files changed, 2 insertions, 3 deletions

diff --git a/test-suite/failure/guard-cofix.v b/test-suite/failure/guard_cofix.v
index 3ae8770546..3ae8770546 100644
--- a/test-suite/failure/guard-cofix.v
+++ b/test-suite/failure/guard_cofix.v
diff --git a/test-suite/failure/prop-set-proof-irrelevance.v b/test-suite/failure/prop_set_proof_irrelevance.v
index fee33432b0..fee33432b0 100644
--- a/test-suite/failure/prop-set-proof-irrelevance.v
+++ b/test-suite/failure/prop_set_proof_irrelevance.v
diff --git a/test-suite/failure/universes-buraliforti.v b/test-suite/failure/universes_buraliforti.v
index dba1a794fa..dba1a794fa 100644
--- a/test-suite/failure/universes-buraliforti.v
+++ b/test-suite/failure/universes_buraliforti.v
diff --git a/test-suite/failure/universes-buraliforti-redef.v b/test-suite/failure/universes_buraliforti_redef.v
index e016815880..e016815880 100644
--- a/test-suite/failure/universes-buraliforti-redef.v
+++ b/test-suite/failure/universes_buraliforti_redef.v
diff --git a/test-suite/failure/universes-sections1.v b/test-suite/failure/universes_sections1.v
index 3f8e444623..3f8e444623 100644
--- a/test-suite/failure/universes-sections1.v
+++ b/test-suite/failure/universes_sections1.v
diff --git a/test-suite/failure/universes-sections2.v b/test-suite/failure/universes_sections2.v
index 34b2a11ded..34b2a11ded 100644
--- a/test-suite/failure/universes-sections2.v
+++ b/test-suite/failure/universes_sections2.v
diff --git a/test-suite/output/rewrite-2172.out b/test-suite/output/rewrite_2172.out
index 27b0dc1b7b..27b0dc1b7b 100644
--- a/test-suite/output/rewrite-2172.out
+++ b/test-suite/output/rewrite_2172.out
diff --git a/test-suite/output/rewrite-2172.v b/test-suite/output/rewrite_2172.v
index 212b1c1259..212b1c1259 100644
--- a/test-suite/output/rewrite-2172.v
+++ b/test-suite/output/rewrite_2172.v
diff --git a/test-suite/success/Cases-bug1834.v b/test-suite/success/Cases_bug1834.v
index cf102486a6..65372c2da4 100644
--- a/test-suite/success/Cases-bug1834.v
+++ b/test-suite/success/Cases_bug1834.v
@@ -10,4 +10,3 @@ Parameter a : U.
 Check (match a with exist _ (exist _ tt e2) e3 => e3=e3 end).
 
 (* There is still a form submitted by Pierre Corbineau (#1834) which fails *)
-
diff --git a/test-suite/success/Cases-bug3758.v b/test-suite/success/Cases_bug3758.v
index e48f452326..e48f452326 100644
--- a/test-suite/success/Cases-bug3758.v
+++ b/test-suite/success/Cases_bug3758.v
diff --git a/test-suite/success/all-check.v b/test-suite/success/all_check.v
index 391bc540e4..391bc540e4 100644
--- a/test-suite/success/all-check.v
+++ b/test-suite/success/all_check.v
diff --git a/test-suite/success/attribute-syntax.v b/test-suite/success/attribute_syntax.v
index 241d4eb200..241d4eb200 100644
--- a/test-suite/success/attribute-syntax.v
+++ b/test-suite/success/attribute_syntax.v
diff --git a/test-suite/success/dtauto-let-deps.v b/test-suite/success/dtauto_let_deps.v
index 094b2f8b3c..094b2f8b3c 100644
--- a/test-suite/success/dtauto-let-deps.v
+++ b/test-suite/success/dtauto_let_deps.v
diff --git a/test-suite/success/universes-coercion.v b/test-suite/success/universes_coercion.v
index d750434027..272d3ec74a 100644
--- a/test-suite/success/universes-coercion.v
+++ b/test-suite/success/universes_coercion.v
@@ -5,7 +5,7 @@
    of universe polymorphism obsolete (example submitted by Randy Pollack).
 
    Note that this example is not an evidence that the current
-   non-kernel eta-expansion behavior is the most expected one.  
+   non-kernel eta-expansion behavior is the most expected one.
 *)
 
 Parameter K : forall T : Type, T -> T.
@@ -14,7 +14,7 @@ Check (K (forall T : Type, T -> T) K).
 (*
    note that the inferred term is
      "(K (forall T (* u1 *) : Type, T -> T) (fun T:Type (* u1 *) => K T))"
-   which is not eta-equivalent to 
+   which is not eta-equivalent to
      "(K (forall T : Type, T -> T) K"
    because the eta-expansion of the latter
      "(K (forall T : Type, T -> T) (fun T:Type (* u2 *) => K T)"