Ensuring all .v files end with a newline to make "sed -i" work better on them.

11 files changed, 11 insertions, 11 deletions

diff --git a/test-suite/modules/Demo.v b/test-suite/modules/Demo.v
index 1f27fe1ba..820fda172 100644
--- a/test-suite/modules/Demo.v
+++ b/test-suite/modules/Demo.v
@@ -52,4 +52,4 @@ Print N'''.x.
 
 Import N'''.
 
-Print t.
\ No newline at end of file
+Print t.
diff --git a/test-suite/modules/Nat.v b/test-suite/modules/Nat.v
index 57878a5f1..d2116d218 100644
--- a/test-suite/modules/Nat.v
+++ b/test-suite/modules/Nat.v
@@ -16,4 +16,4 @@ Qed.
 
 Lemma le_antis : forall n m : nat, le n m -> le m n -> n = m.
    eauto with arith.
-Qed.
\ No newline at end of file
+Qed.
diff --git a/test-suite/modules/PO.v b/test-suite/modules/PO.v
index 6198f29a0..8ba8525c6 100644
--- a/test-suite/modules/PO.v
+++ b/test-suite/modules/PO.v
@@ -54,4 +54,4 @@ Module NN := Pair Nat Nat.
 
 Lemma zz_min : forall p : NN.T, NN.le (0, 0) p.
   info auto with arith.
-Qed.
\ No newline at end of file
+Qed.
diff --git a/test-suite/modules/Tescik.v b/test-suite/modules/Tescik.v
index 1d1b1e0ab..ea4955394 100644
--- a/test-suite/modules/Tescik.v
+++ b/test-suite/modules/Tescik.v
@@ -27,4 +27,4 @@ Module List (X: ELEM).
 
 End List.
 
-Module N := List Nat.
\ No newline at end of file
+Module N := List Nat.
diff --git a/test-suite/modules/grammar.v b/test-suite/modules/grammar.v
index 9657c685d..11ad205e4 100644
--- a/test-suite/modules/grammar.v
+++ b/test-suite/modules/grammar.v
@@ -12,4 +12,4 @@ Check (f 0 0).
 Check (f 0 0).
 Import M.
 Check (f 0 0).
-Check (N.f 0 0).
\ No newline at end of file
+Check (N.f 0 0).
diff --git a/test-suite/modules/injection_discriminate_inversion.v b/test-suite/modules/injection_discriminate_inversion.v
index d4ac7b3a2..8b5969dd7 100644
--- a/test-suite/modules/injection_discriminate_inversion.v
+++ b/test-suite/modules/injection_discriminate_inversion.v
@@ -31,4 +31,4 @@ Goal forall x,  M.C x = M1.C 0 -> x = 0.
      par des modules differents
      *)
   inversion H. reflexivity.
-Qed.
\ No newline at end of file
+Qed.
diff --git a/test-suite/modules/modeq.v b/test-suite/modules/modeq.v
index 1238ee9de..c8129eec5 100644
--- a/test-suite/modules/modeq.v
+++ b/test-suite/modules/modeq.v
@@ -19,4 +19,4 @@ Module Z.
   Module N := M.
 End Z.
 
-Module A : SIG := Z.
\ No newline at end of file
+Module A : SIG := Z.
diff --git a/test-suite/modules/pliczek.v b/test-suite/modules/pliczek.v
index f806a7c41..51f5f4007 100644
--- a/test-suite/modules/pliczek.v
+++ b/test-suite/modules/pliczek.v
@@ -1,3 +1,3 @@
 Require Export plik.
 
-Definition tutu (X : Set) := toto X.
\ No newline at end of file
+Definition tutu (X : Set) := toto X.
diff --git a/test-suite/modules/plik.v b/test-suite/modules/plik.v
index 50bfd9604..c2f0fe3ce 100644
--- a/test-suite/modules/plik.v
+++ b/test-suite/modules/plik.v
@@ -1,3 +1,3 @@
 Definition toto (x : Set) := x.
 
-(* <Warning> : Grammar is replaced by Notation *)
\ No newline at end of file
+(* <Warning> : Grammar is replaced by Notation *)
diff --git a/test-suite/modules/pseudo_circular_with.v b/test-suite/modules/pseudo_circular_with.v
index 9e46d17ed..6bf067fd1 100644
--- a/test-suite/modules/pseudo_circular_with.v
+++ b/test-suite/modules/pseudo_circular_with.v
@@ -3,4 +3,4 @@ Module Type T. Declare Module M:S. End T.
 Module N:S. End N.
 
 Module NN:T. Module M:=N. End NN.
-Module Type U := T with Module M:=NN.
\ No newline at end of file
+Module Type U := T with Module M:=NN.
diff --git a/test-suite/modules/sig.v b/test-suite/modules/sig.v
index da5d25fa2..fc936a515 100644
--- a/test-suite/modules/sig.v
+++ b/test-suite/modules/sig.v
@@ -26,4 +26,4 @@ Module Type SIG.
   Parameter x : T.
 End SIG.
 
-Module J : SIG := M.N.
\ No newline at end of file
+Module J : SIG := M.N.