diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1999-11-12 13:01:24 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1999-11-12 13:01:24 +0000 |
| commit | 35b6388b92d275eddff832e906a2122463230019 (patch) | |
| tree | 15c15a844d70ca78f6b110a9657810f9f3274e43 /generic/proof-x-symbol.el | |
| parent | c1fd2b8375a0b2722b11ca8f0866520f272e5ad4 (diff) | |
Typo in x-symbol enable
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) |