diff options
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) |