From d152a13a2f5ec4461adc2f3ae7860dde2a45dfcd Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 3 Nov 1998 14:43:45 +0000
Subject: Customization group and type fixes

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

(limited to 'generic/proof-splash.el')

diff --git a/generic/proof-splash.el b/generic/proof-splash.el
index 110b4b71..80b03432 100644
--- a/generic/proof-splash.el
+++ b/generic/proof-splash.el
@@ -43,7 +43,7 @@ Gif filename depends on colour depth of display."
   nil
   "*Non-nil prevents splash screen display when Proof General is loaded."
   :type 'boolean
-  :group 'proof)
+  :group 'proof-general)
 
 (defcustom proof-splash-extensions nil
   "*Prover specific extensions of splash screen.
-- 
cgit v1.2.3