robots: Rename

diff --git a/extra/robots/robots.factor b/extra/robots/robots.factor
index 1afdb3f027a9d057cbade8d0de3c289f34a8c20a..e99a51e6409704d346485078e11d8738c9989835 100644 (file)
--- a/extra/robots/robots.factor
+++ b/extra/robots/robots.factor
@@ -97,6 +97,6 @@ PRIVATE>
         [ <rules> dup ] dip [ parse-robots.txt-line drop ] with each
     ] map ;
 
-: robots ( url -- robots )
+: url>robots ( url -- robots )
     >url
     dup get-robots.txt nip parse-robots.txt <robots> ;