From b816d696733c96fdc62428e43c4a4a1f5a09b47b Mon Sep 17 00:00:00 2001
From: Pierre Nigron <pierre.nigron@free.fr>
Date: Tue, 22 Sep 2020 12:32:59 +0200
Subject: RTLgen: use the state and error monad for reserve_labels (#371)

---
 Changelog | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'Changelog')

diff --git a/Changelog b/Changelog
index 5dc56c1b..c7d8d2f4 100644
--- a/Changelog
+++ b/Changelog
@@ -1,3 +1,7 @@
+Coq development:
+- RTLgen: use the state and error monad for reserving goto labels (#371)
+  (by Pierre Nigron)
+
 Release 3.11, 2022-06-27
 ========================
 
-- 
cgit