Fix test for GNU 21

1 files changed, 1 insertions, 1 deletions

diff --git a/generic/proof-site.el b/generic/proof-site.el
index b5a44495..4eab2538 100644
--- a/generic/proof-site.el
+++ b/generic/proof-site.el
@@ -368,7 +368,7 @@ proof-assistant-table."
 (defvar proof-running-on-XEmacs (string-match "XEmacs" emacs-version)
   "Non-nil if Proof General is running on XEmacs.")
 (defvar proof-running-on-Emacs21 (and (not proof-running-on-XEmacs)
-				      (>= 21 emacs-major-version))
+				      (>= emacs-major-version 21))
   "Non-nil if Proof General is running on GNU Emacs 21 or later.")
 ;; rough test for XEmacs on win32, anyone know about GNU Emacs on win32?
 (defvar proof-running-on-win32 (fboundp 'win32-long-file-name)