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 )
     {