From 35b6388b92d275eddff832e906a2122463230019 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 12 Nov 1999 13:01:24 +0000
Subject: Typo in x-symbol enable

---
 generic/proof-x-symbol.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'generic')

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) 
-- 
cgit v1.2.3