From d35e4c0daf4a3a86ee7bb6d96585d0c633136821 Mon Sep 17 00:00:00 2001
From: Robbert Krebbers <mail@robbertkrebbers.nl>
Date: Tue, 16 Jan 2018 16:40:08 +0100
Subject: [PATCH] Add duplicate new line at end of file.

---
 theories/program_logic/weakestpre.v | 1 -
 1 file changed, 1 deletion(-)

diff --git a/theories/program_logic/weakestpre.v b/theories/program_logic/weakestpre.v
index e081ea449..8c60346e2 100644
--- a/theories/program_logic/weakestpre.v
+++ b/theories/program_logic/weakestpre.v
@@ -400,4 +400,3 @@ Section proofmode_classes.
             (WP e @ s; E1 {{ Φ }}) (WP e @ s; E2 {{ v, |={E2,E1}=> Φ v }})%I | 100.
   Proof. intros. by rewrite /ElimModal fupd_frame_r wand_elim_r wp_atomic. Qed.
 End proofmode_classes.
-
-- 
GitLab