 	      (error "Could not start Specware.")))
 	(error "Specware not running. Do M-x run-specware4")))))
 
-;; (simulate-input-expression "t")
+;; (simulate-input-expression "path")
 (defun simulate-input-expression (str)
   (ensure-specware-running)
   (let ((win (get-buffer-window *specware-buffer-name*)))

      (setq sw:common-lisp-image-file 
	    (if (equal sw:common-lisp-image-name default-sw-executable)
		nil
	      (sw::normalize-filename (expand-file-name 
				       (or (getenv "LISP_HEAP_IMAGE")
					   default-sw-image)))))

      (setq sw:common-lisp-image-arguments


			   "(swshell::specware-shell nil)")))
	(goto-char (point-max))
	(if (eq lisp-emacs-interface-type 'slime)
	    (unless (member init-form '(nil "" "NIL"))
	      (sw:eval-in-lisp-no-value init-form))
	  (simulate-input-expression init-form))
	(sleep-for 0.1)))))
