From d3e0821b9c1551177afb34220d951b087acdea22 Mon Sep 17 00:00:00 2001
From: Sébastien Dailly <sebastien@dailly.me>
Date: Tue, 4 Feb 2025 22:30:34 +0100
Subject: Fixed a bug when a group function did not partition in the same way
 as the uniq parameter

---
 lib/expression/t.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib/expression/t.mli')

diff --git a/lib/expression/t.mli b/lib/expression/t.mli
index 4e1af55..4c9e0a7 100644
--- a/lib/expression/t.mli
+++ b/lib/expression/t.mli
@@ -19,7 +19,7 @@ type 'a t =
   | BOperator of binary_operator * 'a t * 'a t
   | GEquality of binary_operator * 'a t * 'a t list
   | Function' of funct * 'a t list
-[@@deriving show, eq]
+[@@deriving show, eq, ord]
 
 and binary_operator =
   | Equal
-- 
cgit v1.2.3