                                               in-current-dir? 
                                               also-regenerate?)
              "")))
-      (specware-build-command "(progn (cl:load %S) %S %s (terpri) (cl-user::finish-output t) (cl-user::quit))" 
+      (specware-build-command "(progn (cl:load %S) %S %s (terpri) (cl-user::finish-output t) (sb-ext:exit))" 
                               specware4-loader 
 			      print-progress-message
                               callback-to-emacs))))

                                                     in-current-dir?
                                                     (not regenerating?))
                    "")))
             (specware-build-command "(progn (cl:time (cl-user::boot)) %S %s (cl-user::finish-output t) (cl-user::quit))" 
				     print-progress-message
				     callback-to-emacs))))))


;		*sentinel-data*))
    (when sw-proc
      (set-process-sentinel sw-proc 'continue-emacs-computation)))
  (simulate-input-expression (exit-form))
  )

(defun exit-form ()
  (if (eq lisp-emacs-interface-type 'slime)
