diff options
Diffstat (limited to 'generic/proof-x-symbol.el')
-rw-r--r-- | generic/proof-x-symbol.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-x-symbol.el b/generic/proof-x-symbol.el index 4fc6a552..15a44986 100644 --- a/generic/proof-x-symbol.el +++ b/generic/proof-x-symbol.el @@ -18,7 +18,7 @@ ;;; ###autoload (defun proof-x-symbol-support-maybe-available () "A test to see whether x-symbol support may be available." - (and (boundp 'console-type) ; FSF Emacs doesn't have this + (and (fboundp 'console-type) ; FSF Emacs doesn't have this (eq (console-type) 'x) ; (neither does it have x-symbol) (condition-case () (require 'x-symbol-autoloads) |