From e41cb4f8b30181d3b144b57fc46cb89407f632d8 Mon Sep 17 00:00:00 2001
From: Cyril Cohen
Date: Mon, 28 Sep 2020 10:16:37 +0200
Subject: Update CHANGELOG_UNRELEASED.md

Co-authored-by: Kazuhiko Sakaguchi <pi8027@gmail.com>---
 CHANGELOG_UNRELEASED.md | 1 -
 1 file changed, 1 deletion(-)

diff --git a/CHANGELOG_UNRELEASED.md b/CHANGELOG_UNRELEASED.md
index dd6b4c1..fbf313c 100644
--- a/CHANGELOG_UNRELEASED.md
+++ b/CHANGELOG_UNRELEASED.md
@@ -161,7 +161,6 @@ The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/).
 - Added lemma `ord1` in `fintype`, it is the same as `zmodp.ord1`,
   except `fintype.ord1` does not rely on `'I_n` zmodType structure.
 
-### Changed
 
 - in `order.v`, `\join^d_` and `\meet^d_` notations are now properly specialized
   for `dual_display`.
-- 
cgit v1.2.3