anchor.diff:                  ))
   
   	    (setq sb-debug:*debug-beginner-help-p* nil)
  -	    )
  +	    ;; Temporary because of race condition bug with slime
  +            ;; (setq *features* (remove :sb-thread *features*))
  +            )
   
   #+mcl     (progn
   	    (ccl:egc nil)		                                ; Turn off ephemeral gc as it is inefficient
  
positive.code: (when *using-slime-interface?*
    `(defparameter ,(intern "*FASL-DIRECTORY*" "SWANK-LOADER")
       (format nil "~a/Library/IO/Emacs/slime/" 
  	     (specware::getenv "SPECWARE4")))
    (let ((loader (in-specware-dir "Library/IO/Emacs/slime/swank-loader.lisp")))
      (load loader :verbose t))
    )
  
negative.code:   (load utils)
    (compile-and-load-lisp-file utils))
  
  (defparameter Specware4 (substitute #\/ #\\ (Specware::getenv "SPECWARE4")))
  
  (if (null Specware::Specware4)
      (warn "SPECWARE4 environment var not set")
  