                                   " "
                                   t))))
     (intero-destroy)
-    (intero-get-worker-create 'backend targets (current-buffer))))
+    (intero-get-worker-create 'backend targets (current-buffer))
+    (intero-repl-restart)))
 
 (defun intero-destroy (&optional worker)
   "Stop WORKER and kill its associated process buffer.

    (let ((targets (with-current-buffer (intero-buffer 'backend)
                     intero-targets)))
      (intero-destroy 'backend)
      (intero-get-worker-create 'backend targets (current-buffer)))))

(defun intero-targets ()
  "Set the targets to use for stack ghci."

         (name (format "*intero:%s:%s:repl*"
                       (file-name-nondirectory root)
                       package-name)))
    (when (get-buffer name)
      (with-current-buffer (get-buffer name)
        (goto-char (point-max))
        (let ((process (get-buffer-process (current-buffer))))
