From bf56606d11744c6410a0f3004332acd2e52f7810 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 11 Dec 2001 13:19:44 +0000
Subject: Fix test for GNU 21

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

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