vocabs.parser: use left/right quotation marks in note

diff --git a/core/vocabs/parser/parser.factor b/core/vocabs/parser/parser.factor
index 2fc9a8f67f62a5201c667fcb50b4f27887a8fba4..bd681c169b3827c836899b85866184a4f8559001 100644 (file)
--- a/core/vocabs/parser/parser.factor
+++ b/core/vocabs/parser/parser.factor
@@ -112,7 +112,7 @@ ERROR: unbalanced-private-declaration vocab ;
 
 : use-vocab ( vocab -- )
     dup using-vocab? [
-        vocab-name "Already using ``" "'' vocabulary" surround note.
+        vocab-name "Already using “" "” vocabulary" surround note.
     ] [
         manifest get
         [ [ ?load-vocab ] dip search-vocabs>> push ]