From ab841da2555ad80b14dd7d38139e8f19a57c059f Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 8 Jul 2010 23:07:24 +0000
Subject: Cleanups for save-excursion to avoid warnings in latest Emacs
 versions

---
 generic/proof-script.el | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'generic/proof-script.el')

diff --git a/generic/proof-script.el b/generic/proof-script.el
index bdd8947b..3ad877a3 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -738,8 +738,7 @@ to allow other files loaded by proof assistants to be marked read-only."
 ;; General to do the loading, to alleviate file handling there;
 ;; we could cache meta-data resulting from processing files;
 ;; or even, could include parsing inside PG.
-  (save-excursion
-    (set-buffer buffer)
+  (with-current-buffer buffer
     (save-excursion ;; prevent point moving if user viewing file
       (if (< (proof-unprocessed-begin) (proof-script-end))
 	(let ((span (span-make (proof-unprocessed-begin)
-- 
cgit v1.2.3