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

2012-10-23 15:25:08 -07:00 · 2012-10-23 15:25:08 -07:00 · 896d75e305
parent 50016099a5
commit 896d75e305
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 ;