From 448c9d5c1913947876dc8d3f6c2ebf079f572b6f Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 27 Oct 1998 17:32:57 +0000
Subject: Splash screen added back.  Put in Xemacs test for noninteractive to
 fix odd arithmetic error during byte compile.

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

(limited to 'generic/proof.el')

diff --git a/generic/proof.el b/generic/proof.el
index 06af87dc..62b9489a 100644
--- a/generic/proof.el
+++ b/generic/proof.el
@@ -17,7 +17,7 @@
 
 (require 'proof-config)			; configuration variables
 
-;(require 'proof-splash)			; splash screen
+(require 'proof-splash)			; splash screen
 
 ;; FIXME da: I think these should all be autoloaded!!
 ;; (require 'cl)
-- 
cgit v1.2.3