]> gitweb.factorcode.org Git - factor.git/commit
sets: use push-unsafe in pruned.
authorJohn Benediktsson <mrjbq7@gmail.com>
Sat, 23 Mar 2013 21:46:54 +0000 (14:46 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Sat, 23 Mar 2013 21:46:54 +0000 (14:46 -0700)
commitccb46e62d48dc3af51fdb44b4e4b967271add7bb
treed153501b3f5d71f95a8bf8476661e0d45b162b46
parentf963b2eb1b34a926c7e0bdda5a568812e28f1968
sets: use push-unsafe in pruned.
core/sets/sets.factor