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/dune | |
| 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/dune')
| -rwxr-xr-x | lib/expression/dune | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/lib/expression/dune b/lib/expression/dune index d141b7b..8bf6e62 100755 --- a/lib/expression/dune +++ b/lib/expression/dune @@ -7,6 +7,8 @@ importErrors
)
(preprocess (pps
- ppx_deriving.show
- ppx_deriving.eq ))
+ ppx_deriving.ord
+ ppx_deriving.show
+ ppx_deriving.eq
+ ))
)
|