Merge PR #986: Ensuring all .v files end with a newline to make "sed -i" work better on them

13 files changed, 13 insertions, 13 deletions

diff --git a/test-suite/success/ProgramWf.v b/test-suite/success/ProgramWf.v
index 681c4716b6..85d7a770fc 100644
--- a/test-suite/success/ProgramWf.v
+++ b/test-suite/success/ProgramWf.v
@@ -102,4 +102,4 @@ Qed.
 
 Program Fixpoint check_n'  (n : nat) (m : {m:nat | m = n}) (p : nat) (q:{q : nat | q = p})
   {measure (p - n) p} : nat :=
-  _.
\ No newline at end of file
+  _.
diff --git a/test-suite/success/cbn.v b/test-suite/success/cbn.v
index 6aeb05f54e..c98689c234 100644
--- a/test-suite/success/cbn.v
+++ b/test-suite/success/cbn.v
@@ -15,4 +15,4 @@ Goal forall n, foo (S n) = g n.
   match goal with
     |- g _ = g _ => reflexivity
   end.
-Qed.
\ No newline at end of file
+Qed.
diff --git a/test-suite/success/clear.v b/test-suite/success/clear.v
index e25510cf09..03034cf130 100644
--- a/test-suite/success/clear.v
+++ b/test-suite/success/clear.v
@@ -30,4 +30,4 @@ Section Foo.
     assert(b:=Build_A).
     solve [ typeclasses eauto ].
   Qed.
-End Foo.
\ No newline at end of file
+End Foo.
diff --git a/test-suite/success/coercions.v b/test-suite/success/coercions.v
index b538d2ed27..9b11bc011c 100644
--- a/test-suite/success/coercions.v
+++ b/test-suite/success/coercions.v
@@ -130,4 +130,4 @@ Local Coercion l2v2 : list >-> vect.
    of coercions *)
 Fail Check (fun l : list (T1 * T1) => (l : vect _ _)).
 Check (fun l : list (T1 * T1) => (l2v2 l : vect _ _)).
-Section what_we_could_do.
\ No newline at end of file
+Section what_we_could_do.
diff --git a/test-suite/success/hintdb_in_ltac_bis.v b/test-suite/success/hintdb_in_ltac_bis.v
index f5c25540ef..2bc3f9d22a 100644
--- a/test-suite/success/hintdb_in_ltac_bis.v
+++ b/test-suite/success/hintdb_in_ltac_bis.v
@@ -12,4 +12,4 @@ Goal Foo.
   progress foo mybase.
   Undo.
   progress bar mybase.
-Qed.
\ No newline at end of file
+Qed.
diff --git a/test-suite/success/indelim.v b/test-suite/success/indelim.v
index 91b6dee2ec..a962c29f44 100644
--- a/test-suite/success/indelim.v
+++ b/test-suite/success/indelim.v
@@ -58,4 +58,4 @@ Inductive color := Red | Black.
 
 Inductive option (A : Type) : Type :=
 | None : option A
-| Some : A -> option A.
\ No newline at end of file
+| Some : A -> option A.
diff --git a/test-suite/success/keyedrewrite.v b/test-suite/success/keyedrewrite.v
index b88c142be1..5638a7d3eb 100644
--- a/test-suite/success/keyedrewrite.v
+++ b/test-suite/success/keyedrewrite.v
@@ -59,4 +59,4 @@ Qed.
    Lemma test b : b && true = b.
     Fail rewrite andb_true_l.
    Admitted.
-   
\ No newline at end of file
+   
diff --git a/test-suite/success/ltac_match_pattern_names.v b/test-suite/success/ltac_match_pattern_names.v
index 7363294960..790cd1b3a7 100644
--- a/test-suite/success/ltac_match_pattern_names.v
+++ b/test-suite/success/ltac_match_pattern_names.v
@@ -25,4 +25,4 @@ Ltac multiple_branches :=
     let P := fresh P in
     let Q := fresh Q in
     idtac
-  end.
\ No newline at end of file
+  end.
diff --git a/test-suite/success/ltac_plus.v b/test-suite/success/ltac_plus.v
index 8a08d64650..01d477bdf9 100644
--- a/test-suite/success/ltac_plus.v
+++ b/test-suite/success/ltac_plus.v
@@ -9,4 +9,4 @@ Proof.
   Fail ((apply h0+apply h2) || apply h1); apply h3.
   (* interaction with || *)
   ((apply h0+apply h1) || apply h2); apply h3.
-Qed.
\ No newline at end of file
+Qed.
diff --git a/test-suite/success/programequality.v b/test-suite/success/programequality.v
index 414c572f81..05f4a71856 100644
--- a/test-suite/success/programequality.v
+++ b/test-suite/success/programequality.v
@@ -10,4 +10,4 @@ Proof.
   pi_eq_proofs. clear e.
   destruct e'. simpl.
   change (P a eq_refl).
-Abort.
\ No newline at end of file
+Abort.
diff --git a/test-suite/success/rewrite_dep.v b/test-suite/success/rewrite_dep.v
index d0aafd3833..d73864e4e0 100644
--- a/test-suite/success/rewrite_dep.v
+++ b/test-suite/success/rewrite_dep.v
@@ -31,4 +31,4 @@ Proof.
   intros.
   rewrite H0.
   reflexivity.
-Qed.
\ No newline at end of file
+Qed.
diff --git a/test-suite/success/rewrite_strat.v b/test-suite/success/rewrite_strat.v
index 04c675563e..a6e59fdda0 100644
--- a/test-suite/success/rewrite_strat.v
+++ b/test-suite/success/rewrite_strat.v
@@ -50,4 +50,4 @@ Proof.
 Time Qed. (* 0.06 s *)
 
 Set Printing All.
-Set Printing Depth 100000.
\ No newline at end of file
+Set Printing Depth 100000.
diff --git a/test-suite/success/univers.v b/test-suite/success/univers.v
index 269359ae62..fc74225d76 100644
--- a/test-suite/success/univers.v
+++ b/test-suite/success/univers.v
@@ -76,4 +76,4 @@ End Ind.
 Module Rec.
 Record box_in : myType :=
   BoxIn { coord :> nat * nat; _ : is_box_in_shape coord }.
-End Rec.
\ No newline at end of file
+End Rec.