Updates for recent version of X-symbol, which has no file called x-symbol-autoloads.

1 files changed, 3 insertions, 3 deletions

diff --git a/generic/proof-x-symbol.el b/generic/proof-x-symbol.el
index d4bec8f5..21876ad7 100644
--- a/generic/proof-x-symbol.el
+++ b/generic/proof-x-symbol.el
@@ -27,8 +27,8 @@
   (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) 
-	 (t (featurep 'x-symbol-autoloads)))))
+	   (require 'x-symbol-hooks)
+	 (t (featurep 'x-symbol-hooks)))))
 
 
 (defun proof-x-symbol-initialize (&optional error)
@@ -48,7 +48,7 @@ If ERROR is non-nil, give error on failure, otherwise a warning."
        ;;
        ;; First, some checks on x-symbol.
        ;;
-       ((and (not (featurep 'x-symbol-autoloads))
+       ((and (not (featurep 'x-symbol))
 	     (not (proof-try-require 'x-symbol)))
 	(funcall error-or-warn
  "Proof General: x-symbol package must be installed for x-symbol-support!