diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2011-10-13 14:35:09 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2011-10-13 14:35:09 +0000 |
commit | e2108a7b3edac754138368a0fc51b0160129253b (patch) | |
tree | 2199f3e6ac8e6e15ad276b45aeb9766cde7483dd /generic/proof-splash.el | |
parent | 911f7d4a22a1a91ee04d66a0efe74a0bd9dd1830 (diff) |
Patch from Tom Prince to fix Emacs 24 byte compilation (replace interactive-p with called-interactively-p)
Diffstat (limited to 'generic/proof-splash.el')
-rw-r--r-- | generic/proof-splash.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-splash.el b/generic/proof-splash.el index e5ace495..b6f95921 100644 --- a/generic/proof-splash.el +++ b/generic/proof-splash.el @@ -287,7 +287,7 @@ binding to remove this buffer." (progn ;; disable ordinary emacs splash (setq inhibit-startup-message t) - (proof-splash-display-screen (not (interactive-p)))) + (proof-splash-display-screen (not (called-interactively-p 'any)))) ;; Otherwise, a message (message "Welcome to %s Proof General!" proof-assistant)) (setq proof-splash-seen t))) |