Print auto-use message to stderr

diff --git a/basis/vocabs/prettyprint/prettyprint.factor b/basis/vocabs/prettyprint/prettyprint.factor
index b85aa01c672f8890d9dc567dfd22b14402860faf..ccf4012f76ad4eba06a99adb36b29e0962d35963 100644 (file)
--- a/basis/vocabs/prettyprint/prettyprint.factor
+++ b/basis/vocabs/prettyprint/prettyprint.factor
@@ -89,12 +89,15 @@ CONSTANT: manifest-style H{
 }
 
 [
-    nl
-    { { font-style bold } { font-name "sans-serif" } } [
-        "Restarts were invoked adding vocabularies to the search path." print
-        "To avoid doing this in the future, add the following forms" print
-        "at the top of the source file:" print nl
-    ] with-style
-    manifest-style [ manifest get pprint-manifest ] with-nesting
-    nl nl
+    [
+        nl
+        { { font-style bold } { font-name "sans-serif" } } [
+            "Restarts were invoked adding vocabularies to the search path." print
+            "To avoid doing this in the future, add the following forms" print
+            "at the top of the source file:" print nl
+        ] with-style
+        manifest-style [ manifest get pprint-manifest ] with-nesting
+        nl nl
+    ] with-output>error
+    error-stream get stream-flush
 ] print-use-hook set-global