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. --- theories/MSets/MSetGenTree.v | 2 +- theories/MSets/MSets.v | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) (limited to 'theories/MSets') diff --git a/theories/MSets/MSetGenTree.v b/theories/MSets/MSetGenTree.v index 036ff1aa4..9fb8e499b 100644 --- a/theories/MSets/MSetGenTree.v +++ b/theories/MSets/MSetGenTree.v @@ -1144,4 +1144,4 @@ Proof. apply mindepth_cardinal. Qed. -End Props. \ No newline at end of file +End Props. diff --git a/theories/MSets/MSets.v b/theories/MSets/MSets.v index f179bcd1d..1ee485cc1 100644 --- a/theories/MSets/MSets.v +++ b/theories/MSets/MSets.v @@ -18,4 +18,4 @@ Require Export MSetEqProperties. Require Export MSetWeakList. Require Export MSetList. Require Export MSetPositive. -Require Export MSetAVL. \ No newline at end of file +Require Export MSetAVL. -- cgit v1.2.3