Skip to content
Snippets Groups Projects

Fixes

Merged Thorsten Wißmann requested to merge fixes into master
1 file
+ 1
1
Compare changes
  • Side-by-side
  • Inline
@@ -199,7 +199,7 @@ instance (Monoid m, Ord m) => RefinementInterface (SlowMonoidValued m) where
let toS = foldl' (flip SumBag.insert) SumBag.empty labels
toCWithoutS = foldl' (flip SumBag.delete) counts labels
sumS = fold toS
sumCWithoutS = fold toS
sumCWithoutS = fold toCWithoutS
f3 = (sumRest, sumCWithoutS, sumS)
w1 = (sumRest <> sumCWithoutS, toS)
w2 = (sumRest <> sumS, toCWithoutS)
Loading