From 85836a0fe63349b3a9cf97f8db715f09e7a4e406 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 17 Jan 2008 13:52:24 +0000
Subject: Also wait on pg-custom before running proof-set-value.

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

(limited to 'generic')

diff --git a/generic/proof-config.el b/generic/proof-config.el
index 757b07e7..9b9aaddb 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -110,6 +110,7 @@ approximation we test whether proof-config is fully-loaded yet."
   (set-default sym value)
   (when (and
 	 (not noninteractive)
+	 (featurep 'pg-custom)
 	 (featurep 'proof-config))
       (if (fboundp sym)
 	  (funcall sym)
-- 
cgit v1.2.3