anchor.diff:  	     (format t "~&Syntax error: No term or decls in file ~A~%"
   		     fileName))
   	   '(:|None|))
  +	  ;; revised to fix Bug 001: "No error msg when processing files with multiple and un-named specs"
   	  ((null (rest raw-results))
   	   (let* ((raw-result (first  raw-results))
   		  ; (start    (first  raw-result))  
  
positive.code: 				   nil)
  				 (if (null raw-results) (list "no result") nil)))))
  
  	  ((null (rest raw-results))
  	   (let* ((raw-result (first  raw-results))
  		  ; (start    (first  raw-result))  
  
negative.code: 		   fileName)
  	   '(:|None|)))))
  
  ;;; obsolete?
  ;;; (defun parseFileMsg (fileName) 
  ;;;   (let* ((*parser-source* (list :file fileName))
  ;;; 	 (session (parse-file fileName *specware4-parser* *specware4-tokenizer* :report-gaps? nil))
  