Merge pull request #156 from adubovik/master
authorMilan Straka <fox@ucw.cz>
Tue, 19 May 2015 21:28:27 +0000 (23:28 +0200)
committerMilan Straka <fox@ucw.cz>
Tue, 19 May 2015 21:28:27 +0000 (23:28 +0200)
commit77e94c8966c24b65b2736bf84e3a2f7072e1c1b4
treeeda785d6a739c55b37fbf8e8de8c5263b0a1bf40
parent10f0a88088f0cdf5ea660c3340424cce4d34cecd
parentbdd7b3378ebd218d935b62fdf980f76fd7d98a4b
Merge pull request #156 from adubovik/master

Removed unnecessary strictness in IntSet.foldl accumulator.