From 598a6902279cd614058c032ed3fbb14d32141113 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Fri, 5 Oct 2018 09:21:48 +0200
Subject: [PATCH] wp_fork changelog

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

diff --git a/CHANGELOG.md b/CHANGELOG.md
index e3890924d..d93f562fe 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -24,8 +24,8 @@ Changes in and extensions of the theory:
   functions.
 * [#] Add atomic updates and logically atomic triples, including tactic support.
   See `heap_lang/lib/increment.v` for an example.
-* [#] HeapLang now uses right-to-left evaluation order. This makes easier to
-  write specifications of curried functions.
+* [#] HeapLang now uses right-to-left evaluation order. This makes it
+  significantly easier to write specifications of curried functions.
 
 Changes in Coq:
 
@@ -78,6 +78,7 @@ Changes in Coq:
 * `namespaces` has been moved to std++.
 * Changed `IntoVal` to be directly usable for rewriting `e` into `of_val v`, and
   changed `AsVal` to be usable for rewriting via the `[v <-]` destruct pattern.
+* `wp_fork` is now written in curried form.
 
 ## Iris 3.1.0 (released 2017-12-19)
 
-- 
GitLab