From bfab7af44aea55a50e09fa8a5040cb2e1ba54e4a Mon Sep 17 00:00:00 2001
From: Cyril Cohen
Date: Mon, 25 Nov 2019 15:32:10 +0100
Subject: remove duplicated sentence in CHANGELOG_UNRELEASED

---
 CHANGELOG_UNRELEASED.md | 2 --
 1 file changed, 2 deletions(-)

diff --git a/CHANGELOG_UNRELEASED.md b/CHANGELOG_UNRELEASED.md
index fb9381f..79d4c93 100644
--- a/CHANGELOG_UNRELEASED.md
+++ b/CHANGELOG_UNRELEASED.md
@@ -58,8 +58,6 @@ The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/).
        `edivnS`, `divnS`, `modnS`, `edivn_pred`, `divn_pred` and
        `modn_pred`.
 
-- Added map/parametricity theorems about `path`, `sort` and `sorted`:
-
 - Added `mem2E` in `path.v`.
 
 - Added `sort_rec1` and `sortE` to help inductive reasoning on `sort`.
-- 
cgit v1.2.3