From 48628616069483041ad6b55b392e202755ea4312 Mon Sep 17 00:00:00 2001
From: Robbert Krebbers <mail@robbertkrebbers.nl>
Date: Fri, 7 Jun 2019 17:23:49 +0200
Subject: [PATCH] CHANGELOG entry.

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

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 3c4ee6fb5..6c1b6bab3 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:
 
-- 
GitLab