diff options
| author | David Aspinall | 2011-10-13 14:35:09 +0000 |
|---|---|---|
| committer | David Aspinall | 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))) |