From 37b2addcc09ef8530d40608480d6993ec9b414ab Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Basile=20Cl=C3=A9ment?= <basile.clement@ocamlpro.com>
Date: Mon, 13 May 2024 15:12:16 +0200
Subject: [PATCH] CHANGES for 2.5.4

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

diff --git a/CHANGES.md b/CHANGES.md
index bc4500e63..411da1461 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -1,3 +1,12 @@
+## v2.5.4
+
+### Bug fixes
+
+* Fix a long-standing soundness issue in the FPA module (#1122, originally
+  reported in #1111)
+* Dolmen frontend incorrectly allowed semantic triggers outside of theory
+  extensions (#1122)
+
 ## v2.5.3
 
 ### Build