--- emacs/emacs-src/pvs-ilisp.el.orig	2013-02-21 08:19:16.000000000 -0700
+++ emacs/emacs-src/pvs-ilisp.el	2018-07-25 13:20:43.490127530 -0600
@@ -662,7 +662,7 @@ window."
 		  (when (not (lnull read-only))
 		    (set-buffer-modified-p nil)
 		    (setq buffer-read-only t))
-		  (when (or (eq major-mode default-major-mode)
+		  (when (or (eq major-mode initial-major-mode)
 			    (eq major-mode 'fundamental-mode))
 		    (pvs-view-mode))
 		  (when (and append-p at-end)
@@ -713,7 +713,7 @@ window."
 		     (insert-file-contents file nil)
 		     (define-pvs-key-bindings buf)
 		     (pvs-set-buffer-mode)
-		     (when (or (eq major-mode default-major-mode)
+		     (when (or (eq major-mode initial-major-mode)
 			       (eq major-mode 'fundamental-mode))
 		       (pvs-view-mode))
 		     (buffer-string))))