From 141578789ed742060d8915a28f343e080c5eee95 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 28 Aug 2009 17:19:10 +0000
Subject: Fix compile warnings

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

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

diff --git a/generic/proof-script.el b/generic/proof-script.el
index 28ec1545..0f32ccdd 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -677,7 +677,7 @@ NAME does not need to be unique."
 								(symbol-name arg)))
 		     (lambda (arg) (pg-make-element-visible idiom
 							    (symbol-name arg))))))
-    (mapcar alterfn elts))
+    (mapc alterfn elts))
   (pg-redisplay-for-gnuemacs))
 
 ;; Next two could be in pg-user.el.  No key-bindings for these.
@@ -1618,7 +1618,7 @@ Argument GOALEND is the end of the goal;."
       ;; start of the buffer, we make a fake goal-save region.
 
       ;; Delete spans between the previous goal and new command
-      (mapcar 'span-delete dels)
+      (mapc 'span-delete dels)
 
       ;; Try to set the name from the goal... [as above]
       (setq nam (or (proof-get-name-from-goal gspan)
@@ -2353,7 +2353,7 @@ others)."
 ;; 		      (unless (eq (span-property span 'type) 'comment)
 ;; 			(pg-remove-from-input-history
 ;; 			 (span-property span 'cmd))))))
-;; 	  (mapcar fn (reverse cmds)))
+;; 	  (mapc fn (reverse cmds)))
 	
 	(proof-script-delete-spans start end)
 	(span-delete span)
-- 
cgit v1.2.3