close changelog

LPCIC · May 14, 2021 · e045823 · e045823
1 parent d150c4a
commit e045823
Showing 1 changed file with 6 additions and 0 deletions.
diff --git 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: