From f055a318a227a04bdb16f81e672fc8702f2641b5 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=C3=89tienne=20Andr=C3=A9?= <Andre.Etienne@lipn13.fr>
Date: Fri, 8 Nov 2024 10:25:12 +0100
Subject: [PATCH] RELEASES: Replace yacc with menhir

---
 RELEASES.md | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/RELEASES.md b/RELEASES.md
index 4c28e4bf..a8b998b4 100644
--- a/RELEASES.md
+++ b/RELEASES.md
@@ -6,6 +6,10 @@
 ### Major features
 * implement the integer hull [JLR15] to ensure termination of IM and EF over bounded parameter domains (work in progress)
 
+### Internal
+* Remplace ocamlyacc with Menhir
+
+
 *******************************************************
 ## release 3.4-alpha2 (2024-09-18) Cheese Durian