From f7165e115e03a50b0c5e107759eb7133fb644e52 Mon Sep 17 00:00:00 2001
From: Doug Coleman <doug.coleman@gmail.com>
Date: Sun, 22 Feb 2009 17:52:04 -0600
Subject: [PATCH] remove extra ?at definition

---
 extra/infix/infix.factor | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/extra/infix/infix.factor b/extra/infix/infix.factor
index 3e2ba49e3c..d39c0b3c2d 100644
--- a/extra/infix/infix.factor
+++ b/extra/infix/infix.factor
@@ -14,11 +14,8 @@ ERROR: local-not-defined name ;
 M: local-not-defined summary
     drop "local is not defined" ;
 
-: at? ( key assoc -- value/key ? )
-    dupd at* [ nip t ] [ drop f ] if ;
-
 : >local-word ( string -- word )
-    locals get at? [ local-not-defined ] unless ;
+    locals get ?at [ local-not-defined ] unless ;
 
 : select-op ( string -- word )
     {