From 28377f49e7ea7abf77c56d9a251ba20872356587 Mon Sep 17 00:00:00 2001
From: John Benediktsson <mrjbq7@gmail.com>
Date: Sun, 15 Jul 2012 14:21:25 -0700
Subject: [PATCH] vocabs: faster check-vocab-name.

---
 core/vocabs/vocabs.factor | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/core/vocabs/vocabs.factor b/core/vocabs/vocabs.factor
index 5067d88f50..edffd079c8 100644
--- a/core/vocabs/vocabs.factor
+++ b/core/vocabs/vocabs.factor
@@ -25,7 +25,7 @@ ERROR: bad-vocab-name name ;
 
 : check-vocab-name ( name -- name )
     dup string? [ bad-vocab-name ] unless
-    dup ":/\\ " intersects? [ bad-vocab-name ] when ;
+    dup [ ":/\\ " member? ] any? [ bad-vocab-name ] when ;
 
 TUPLE: vocab-link name ;