From 49d4e186e8c3a737f65f69f25a8eaef41e6542ee Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 9 Jun 2003 09:26:43 +0000
Subject: Fix typo.

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

diff --git a/generic/pg-user.el b/generic/pg-user.el
index 7e8aa173..0e423d1d 100644
--- a/generic/pg-user.el
+++ b/generic/pg-user.el
@@ -1037,7 +1037,7 @@ The function `substitute-command-keys' is called on the argument."
 (cond 
  (proof-running-on-Emacs21
   (global-set-key [C-M-mouse-1] 'pg-identifier-under-mouse-query))
- (proof-running-on-Xemacs
+ (proof-running-on-XEmacs
   (global-set-key '(control meta button1) 'pg-identifier-under-mouse-query)))
 
 (defun pg-identifier-under-mouse-query (event)
-- 
cgit v1.2.3