io.random: rename to "random-readln".

2012-10-23 15:25:08 -07:00 · 2012-10-23 15:25:08 -07:00 · 1a9e87be51
parent 36eeda62a6
commit 1a9e87be51
1 changed files with 1 additions and 1 deletions
--- a/extra/io/random/random.factor
+++ b/extra/io/random/random.factor
@ -12,5 +12,5 @@ IN: io.random

 PRIVATE>

-: random-line ( -- line/f )
+: random-readln ( -- line/f )
    f 1 [ swap [ ?replace ] [ 1 + ] bi ] each-line drop ;