diff options
author | Sébastien Dailly <sebastien@dailly.me> | 2025-02-04 22:30:34 +0100 |
---|---|---|
committer | Sébastien Dailly <sebastien@dailly.me> | 2025-02-13 18:30:43 +0100 |
commit | d3e0821b9c1551177afb34220d951b087acdea22 (patch) | |
tree | ba23b2916c7cb0336cb42793e4bee931053cacf5 /lib/expression/sym.ml | |
parent | 37556ab070abcbf87a1a822c95aeccf19dade687 (diff) |
Fixed a bug when a group function did not partition in the same way as the uniq parameter
Diffstat (limited to 'lib/expression/sym.ml')
-rw-r--r-- | lib/expression/sym.ml | 4 |
1 files changed, 1 insertions, 3 deletions
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 |