From d891235af803ad8d200b7b8e5eb087ea6176d1e7 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Sat, 15 Oct 2016 15:28:29 +0200
Subject: [PATCH] CHANGELOG: program_logic/auth is back

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

diff --git a/CHANGELOG.md b/CHANGELOG.md
index afbae91b4..f69a3f85e 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -13,8 +13,7 @@ Coq development, but not every API-breaking change is listed.  Changes marked
   is no longer any reason to demand the CMRA unit to be discrete.
 * The language can now fork off multiple threads at once.
 * [#] Local Updates (for the authoritative monoid) are now a 4-way relation
-  with syntax-directed lemmas proving them.  [program_logic/auth] is gone,
-  it doesn't actually simplify anything any more.
+  with syntax-directed lemmas proving them.
 
 ## Iris 2.0
 
-- 
GitLab