]> gitweb.factorcode.org Git - factor.git/commit
heaps: fix heap delete: sometimes we need to sift-down
authorJon Harper <jon.harper87@gmail.com>
Wed, 9 Jan 2019 17:43:40 +0000 (18:43 +0100)
committerJon Harper <jon.harper87@gmail.com>
Thu, 10 Jan 2019 20:40:28 +0000 (21:40 +0100)
commitcc70de32a779b155f2cf74ca33e65ea62d8881f0
tree70645243a73d1973941b93627fdb71d0d34513fc
parentbe24351a29f9e5b636cb3855b4b39e038c82f524
heaps: fix heap delete: sometimes we need to sift-down
basis/heaps/heaps.factor