]> gitweb.factorcode.org Git - factor.git/commitdiff
Revert "hints: add hints to index."
authorJohn Benediktsson <mrjbq7@gmail.com>
Mon, 20 Jul 2015 21:00:27 +0000 (14:00 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Tue, 21 Jul 2015 00:35:22 +0000 (17:35 -0700)
This reverts commit 96ce04755a146404239fda91e2bac1b43385b46c.

basis/hints/hints.factor

index 4ec6109a0f5eaea5270b033b2b64b888c798ce5d..b5b41603d263f90e651c3b81648b90034f4a00d5 100644 (file)
@@ -122,8 +122,6 @@ set-specializer
 
 \ member-eq? { { array } { string } } set-specializer
 
-\ index { { array } { string } } set-specializer
-
 \ assoc-stack { vector } set-specializer
 
 { >le >be } [