From a9ead9a37301611de32f283139ee733777852b95 Mon Sep 17 00:00:00 2001
From: Hoang-Hai Dang <haidang@mpi-sws.org>
Date: Fri, 24 May 2019 10:26:45 +0200
Subject: [PATCH] Fix spacing

---
 CHANGELOG.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 26f3fdcb8..4029e7119 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -127,6 +127,7 @@ Changes in Coq:
   - Lemmas for the projections and injections are renamed accordingly.
   - `auth_both_valid` → `auth_both_valid_2`
   - `auth_valid_discrete_2` → `auth_both_valid`
+
 ## Iris 3.1.0 (released 2017-12-19)
 
 Changes in and extensions of the theory:
-- 
GitLab