From e04582311463a543fa30e0cf681bd479c5664ac4 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@Inria.fr>
Date: Fri, 14 May 2021 18:41:13 +0200
Subject: [PATCH] close changelog

---
 CHANGES.md | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/CHANGES.md b/CHANGES.md
index e2781c10a..cc883408f 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -1,3 +1,9 @@
+# v1.13.3 (May 2021)
+
+- Bugifx: keep the state component `while_compiling` even when execution is
+  over, since the API to allocate a new Elpi uvar needs it and Coq-Elpi may
+  call this API while translating the solution to Coq
+
 # v1.13.2 (May 2021)
 
 - Build: