From 28a131e82248456137dd08c889fe0cb9e6c792d8 Mon Sep 17 00:00:00 2001
From: Cyril Cohen
Date: Mon, 9 Nov 2020 02:06:35 +0100
Subject: fix changelog

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

diff --git a/CHANGELOG_UNRELEASED.md b/CHANGELOG_UNRELEASED.md
index 57e5e28..f3b72ef 100644
--- a/CHANGELOG_UNRELEASED.md
+++ b/CHANGELOG_UNRELEASED.md
@@ -256,7 +256,7 @@ The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/).
 
 ### Changed
 
-- in ssrbool.v, use `Reserved Notation` for `[rel _ _ : _ | _]` to avoid warnings with coq-8.12
+- in `ssrbool.v`, use `Reserved Notation` for `[rel _ _ : _ | _]` to avoid warnings with coq-8.12
 - in `ssrAC.v`, fix `non-reversible-notation` warnings
 
 - In the definition of structures in order.v, displays are removed from
@@ -329,7 +329,7 @@ The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/).
 
 - `big_rmcond` -> `big_rmcond_in` (cf Changed section)
 - `mem_imset` -> `imset_f` (with deprecation alias, cf. Added section)
-- `mem_imset2` -> imset2_f` (with deprecation alias, cf. Added section)
+- `mem_imset2` -> `imset2_f` (with deprecation alias, cf. Added section)
 
 - in `interval.v`, we deprecate, rename, and relocate to `order.v` the following:
   + `lersif_(trans|anti)` -> `lteif_(trans|anti)`
-- 
cgit v1.2.3