]> gitweb.factorcode.org Git - factor.git/commit
hashtables: allow re-using deleted tombstones. Fixes #381.
authorJohn Benediktsson <mrjbq7@gmail.com>
Thu, 10 Nov 2011 20:37:14 +0000 (12:37 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Thu, 10 Nov 2011 21:05:51 +0000 (13:05 -0800)
commite29c4589c4d96058071a83ecbc8d01b09cbcd39c
treea374d9ba87dc6bf6d74f49dd4f3a18d8493f835e
parent433b8e6b6bed14b769d2e7f2a44a56f1c2f9cb58
hashtables: allow re-using deleted tombstones. Fixes #381.
core/hashtables/hashtables.factor