--- sbcl-1.3.1/src/code/toplevel.lisp	2015-11-27 02:15:55.000000000 -0800
+++ sbcl-1.3.1.1/src/code/toplevel.lisp	2016-01-23 15:17:10.666283688 -0800
@@ -590,7 +590,14 @@
             ;; odd. But maybe there *is* a valid reason in some
             ;; circumstances? perhaps some deadlock issue when being driven
             ;; by another process or something...)
-            (force-output *standard-output*))
+            (force-output *standard-output*)
+            ;;kr160121: to not confuse the pretty-printer on the first line of output,
+            ;; nullify the effect that the printing of the prompt had on the stream.
+            ;; fixes bug #439286 (and #309471)
+            (when (eq (type-of *standard-output*) 'synonym-stream)
+              (setf (fd-stream-output-column (symbol-value (synonym-stream-symbol *standard-output*))) 0)
+              )
+            )
           (let* ((form (funcall *repl-read-form-fun*
                                 *standard-input*
                                 *standard-output*))