 		 sym)))
       (let ((results (sw:eval-in-lisp (make-search-form qualifier sym))))
 	(message nil)
-	(if (or (null results) (eq results 'NIL))
+	(if (member results '(nil NIL))
 	    (error "Can't find definition of %s." name)
 	  (goto-specware-meta-point-definition sym results))))))
 

	(result ())
	(specware4 (sw:eval-in-lisp "(specware::getenv \"SPECWARE4\")"))
	pos)
    (when (eq rawpath 'nil)		; SWPATH not set
      (setq rawpath specware4)
      (when (eq rawpath 'nil)		; SPECWARE4 not set
	(setq rawpath "")))
    (while (setq pos (position delim rawpath))
      (push (substring rawpath 0 pos) result)

					    buffer-file-name))))
  (save-buffer)
  (let ((temp-file-name (concat (temp-directory) "-cl-current-file")))
    (if (member (sw:eval-in-lisp
		 "(Specware::evaluateLispCompileLocal_fromLisp-2 %S '(:|Some| . %S))"
		 unitid temp-file-name)
		'(t T))
	(sw:eval-in-lisp-no-value
	   "(let (*redefinition-warnings*)
              (specware::compile-and-load-lisp-file %S))"
