diff options
Diffstat (limited to 'generic/proof-useropts.el')
-rw-r--r-- | generic/proof-useropts.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/generic/proof-useropts.el b/generic/proof-useropts.el index 9a60e0ac..4ce51c99 100644 --- a/generic/proof-useropts.el +++ b/generic/proof-useropts.el @@ -3,7 +3,7 @@ ;; This file is part of Proof General. ;; Portions © Copyright 1994-2012 David Aspinall and University of Edinburgh -;; Portions © Copyright 2003, 2012, 2014 Free Software Foundation, Inc. +;; Portions © Copyright 2003-2018 Free Software Foundation, Inc. ;; Portions © Copyright 2001-2017 Pierre Courtieu ;; Portions © Copyright 2010, 2016 Erik Martin-Dorel ;; Portions © Copyright 2011-2013, 2016-2017 Hendrik Tews @@ -50,7 +50,7 @@ approximation we test whether proof-config is fully-loaded yet." (set-default sym value) (when (and (not noninteractive) - (not (bound-and-true-p byte-compile-current-file)) + (not (bound-and-true-p byte-compile-current-file)) ;FIXME: Yuck! (featurep 'pg-custom) (featurep 'proof-config)) (if (fboundp sym) |