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

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

diff --git a/generic/proof-x-symbol.el b/generic/proof-x-symbol.el
index bd78d22c..4fc6a552 100644
--- a/generic/proof-x-symbol.el
+++ b/generic/proof-x-symbol.el
@@ -51,7 +51,8 @@ If ERROR is non-nil, give error on failure, otherwise a warning."
 	(funcall error-or-warn
  "Proof General: x-symbol package must be installed for x-symbol-support!
 The package is available at http://www.fmi.uni-passau.de/~wedler/x-symbol"))
-       ((not (and (boundp 'console-type) (eq (console-type) 'x)))
+       ((not (and (fboundp 'console-type)  ; FSF doesn't have this
+		  (eq (console-type) 'x))) ; (window-system) instead
 	(funcall error-or-warn 
  "Proof General: x-symbol package only runs under X!"))
        ((or (not (fboundp 'x-symbol-initialize))
-- 
cgit v1.2.3