dlists: make push-sorted inline

diff --git a/basis/dlists/dlists.factor b/basis/dlists/dlists.factor
index 251ab78e7e5d69f47ec598e2141df86026a47369..8d1d47f5a4c83cb88098ef49da8997d7dbaf17d3 100644 (file)
--- 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