diff options
| -rw-r--r-- | generic/proof.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof.el b/generic/proof.el index f90b7454..93eac0c4 100644 --- a/generic/proof.el +++ b/generic/proof.el @@ -19,7 +19,7 @@ (if (and proof-splash-enable (not (noninteractive))) - (proof-splash-display-screen)) + (proof-splash-display-screen t)) ; display splash ;;; |