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 681c4716b..85d7a770f 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 6aeb05f54..c98689c23 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 e25510cf0..03034cf13 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 b538d2ed2..9b11bc011 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 f5c25540e..2bc3f9d22 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 91b6dee2e..a962c29f4 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 b88c142be..5638a7d3e 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 736329496..790cd1b3a 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 8a08d6465..01d477bdf 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 414c572f8..05f4a7185 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 d0aafd383..d73864e4e 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 04c675563..a6e59fdda 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 269359ae6..fc74225d7 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.