From 896d75e305696692546fe257e4712f4e82522159 Mon Sep 17 00:00:00 2001
From: John Benediktsson <mrjbq7@gmail.com>
Date: Tue, 23 Oct 2012 15:25:08 -0700
Subject: [PATCH] io.random: rename to "random-readln".

---
 extra/io/random/random.factor | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/extra/io/random/random.factor b/extra/io/random/random.factor
index 5b8d022e95..3186e263e4 100644
--- 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 ;