From d3e0821b9c1551177afb34220d951b087acdea22 Mon Sep 17 00:00:00 2001 From: Sébastien Dailly 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/sym.ml | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) (limited to 'lib/expression/sym.ml') diff --git a/lib/expression/sym.ml b/lib/expression/sym.ml index 0360e8e..49e923d 100644 --- a/lib/expression/sym.ml +++ b/lib/expression/sym.ml @@ -1,8 +1,6 @@ (** The signature for an expression analyzer. - Every element is mapped to a function, using the tagless final pattern. - - *) + Every element is mapped to a function, using the tagless final pattern. *) module type SYM_EXPR = sig type 'a repr type 'a obs -- cgit v1.2.3