From 29c22f1f797c3913729628f12652a78f145d343e Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 8 Sep 2010 13:46:35 +0000
Subject: mapcar -> mapc to fix compile error

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

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

diff --git a/generic/proof-script.el b/generic/proof-script.el
index 2f0cfb06..894b8592 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -2542,7 +2542,7 @@ finish setup which depends on specific proof assistant configuration."
   (proof-autosend-enable 'nomsg)
 
   ;; Invisibility management: show ellipsis
-  (mapcar (lambda (p)
+  (mapc (lambda (p)
 	    (add-to-invisibility-spec 
 	     (cons (pg-invisible-prop p) t)))
 	  pg-all-idioms)
-- 
cgit v1.2.3