diff --git a/CHANGELOG.md b/CHANGELOG.md
index 3c4ee6fb5de4d4746e9d323eaded6b900068a8be..6c1b6bab369e5a099cff1657524d162812d605bb 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -49,6 +49,7 @@ Changes in heap_lang:
   "administrative" reductions in the operational semantics of the language.
 * heap_lang now has support for allocating, accessing and reasoning about arrays
   (continuously allocated regions of memory).
+* One can now assign "meta" data to heap_lang locations.
 
 Changes in Coq: