From 9dea4814ae928192e23764c09473501e2ecc9937 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Mon, 21 Aug 2017 18:29:07 +0200
Subject: Ensuring all .v files end with a newline to make "sed -i" work better
 on them.

---
 test-suite/output/CompactContexts.v   | 2 +-
 test-suite/output/SearchPattern.v     | 2 +-
 test-suite/output/ltac_missing_args.v | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

(limited to 'test-suite/output')

diff --git a/test-suite/output/CompactContexts.v b/test-suite/output/CompactContexts.v
index 07588d34f9..c409c0ee46 100644
--- a/test-suite/output/CompactContexts.v
+++ b/test-suite/output/CompactContexts.v
@@ -2,4 +2,4 @@ Set Printing Compact Contexts.
 
 Lemma f (hP1:True) (a:nat) (b:list nat) (h:forall (x:nat) , { y:nat | y > x}) (h2:True): False.
 Show.
-Abort.
\ No newline at end of file
+Abort.
diff --git a/test-suite/output/SearchPattern.v b/test-suite/output/SearchPattern.v
index bde195a511..de9f48873a 100644
--- a/test-suite/output/SearchPattern.v
+++ b/test-suite/output/SearchPattern.v
@@ -33,4 +33,4 @@ Goal forall n (P:nat -> Prop), P n -> ~P n -> False.
   Search (P _) -"h'".       (* search hypothesis also for patterns *)
   Search (P _) -not.       (* search hypothesis also for patterns *)
 
-Abort.
\ No newline at end of file
+Abort.
diff --git a/test-suite/output/ltac_missing_args.v b/test-suite/output/ltac_missing_args.v
index 8ecd97aa56..91331a1de5 100644
--- a/test-suite/output/ltac_missing_args.v
+++ b/test-suite/output/ltac_missing_args.v
@@ -16,4 +16,4 @@ Goal True.
   Fail (fun _ => idtac).
   Fail rec True.
   Fail let rec tac x := tac in tac True.
-Abort.
\ No newline at end of file
+Abort.
-- 
cgit v1.2.3