From e067f064dd955046b5912abdf63833a6989df9e6 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@inria.fr>
Date: Fri, 12 Jan 2024 13:08:16 +0100
Subject: [PATCH] Update CHANGES.md

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

diff --git a/CHANGES.md b/CHANGES.md
index 7ab3d081a..b3ee0895a 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -2,6 +2,10 @@
 
 Requires Menhir 20211230 and OCaml 4.08 or above.
 
+Language:
+  - Change indexing for multiple arguments is now based on discrimination trees
+  - Change `:index` acecpts an optional string to force `"Hash"` based indexing
+
 API:
   - Change `clause_of_term` accepts a ``` `Replace ``` grafting directive