dlists: make push-sorted inline

2013-09-18 18:22:58 -07:00 · 2013-09-18 18:22:58 -07:00 · fb63772e9d
parent d8f258d47e
commit fb63772e9d
1 changed files with 1 additions and 1 deletions
--- a/basis/dlists/dlists.factor
+++ b/basis/dlists/dlists.factor
@ -215,7 +215,7 @@ PRIVATE>
    [ swap push-before-node ] [ push-back* ] if* ; inline

 : push-sorted ( obj dlist -- dlist-node )
-    dupd [ before? ] with push-before ;
+    dupd [ before? ] with push-before ; inline

 INSTANCE: dlist deque