From 19ba2bc0c43032f62641cd176fa9d507dd18be93 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Tue, 29 Sep 2020 22:47:46 +0200
Subject: [PATCH] changelog for uPred_mono change

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

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 7aa00c58e..2b8c78888 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -61,6 +61,7 @@ With this release, we dropped support for Coq 8.9.
   `saved_prop_alloc_cofinite`, `saved_pred_alloc_strong`,
   `saved_pred_alloc_cofinite`, `auth_alloc_strong`, `auth_alloc_cofinite`,
   `auth_alloc`.
+* Change `uPred_mono` to only require inclusion at the smaller step-index.
 
 The following `sed` script helps adjust your code to the renaming (on macOS,
 replace `sed` by `gsed`, installed via e.g. `brew install gnu-sed`).
-- 
GitLab