From ef3def4933bdf3da95b10b6e154ca618bff4635f Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 31 Aug 2009 22:47:19 +0000
Subject: Unnecessary test

---
 generic/proof-utils.el | 10 ++++------
 1 file changed, 4 insertions(+), 6 deletions(-)

(limited to 'generic')

diff --git a/generic/proof-utils.el b/generic/proof-utils.el
index 8a78ef9e..393654da 100644
--- a/generic/proof-utils.el
+++ b/generic/proof-utils.el
@@ -761,18 +761,16 @@ KEY is added onto proof-assistant map."
 ;;; Interface to custom lib
 ;;;
 
-;; EMACSFIXME: A function that custom ought to provide.
+;; EMACSFIXME: A function that custom could provide.
 (defun pg-custom-save-vars (&rest variables)
   "Save custom vars VARIABLES."
   (dolist (symbol variables)
     (let ((value (get symbol 'customized-value)))
-      ;; This code from customize-save-customized adjusts
-      ;; properties so that custom-save-all will save
-      ;; the value.
+      ;; See customize-save-customized; adjust properties so 
+      ;; that custom-save-all will save the value.
       (when value
 	(put symbol 'saved-value value)
-	(if (fboundp 'custom-push-theme) ;; XEmacs customize
-	    (custom-push-theme 'theme-value symbol 'user 'set value))
+	(custom-push-theme 'theme-value symbol 'user 'set value)
 	(put symbol 'customized-value nil))))
   (custom-save-all))
 
-- 
cgit v1.2.3