From 053c0eacf778b07c501ea7ff77d86a05cd72811e Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 11 May 2000 14:18:47 +0000
Subject: Extra arg to proof-splash-display-screen.

---
 generic/proof.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
 
 
 ;;;
-- 
cgit v1.2.3