diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2010-09-08 13:46:35 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2010-09-08 13:46:35 +0000 |
commit | 29c22f1f797c3913729628f12652a78f145d343e (patch) | |
tree | d3f21bb45707e215a3e6a42394ab94d6a994b4cb /generic/proof-script.el | |
parent | 60f0c1cb836825820a9c3e02624cdec598d9355b (diff) |
mapcar -> mapc to fix compile error
Diffstat (limited to 'generic/proof-script.el')
-rw-r--r-- | generic/proof-script.el | 2 |
1 files changed, 1 insertions, 1 deletions
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) |