Cleanup some lint warnings.

[factor.git] / extra / robots / robots.factor

diff --git a/extra/robots/robots.factor b/extra/robots/robots.factor
index af039ef8c44792c63b3492cca3248331fe017975..1afdb3f027a9d057cbade8d0de3c289f34a8c20a 100644 (file)
--- a/extra/robots/robots.factor
+++ b/extra/robots/robots.factor
@@ -40,7 +40,7 @@ visit-time request-rate crawl-delay unknowns ;
     [ first "sitemap" = ] partition [ values ] dip
     [
         {
-            [ [ first "user-agent" = ] bi@ and ]
+            [ [ first "user-agent" = ] both? ]
             [ nip first "user-agent" = not ]
         } 2|| 
     ] monotonic-split ;