diff --git a/CHANGELOG.md b/CHANGELOG.md
index 2fe145928e6a918fc85eeb37a85cc93be2420881..2c2be5662ac22a03a9bd94b55855198eee8372e3 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -22,6 +22,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.
 
 Changes in Coq: