From 0b518a557ac527837494e97cf7a315e123d16d3b Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 14 Oct 2009 00:48:41 +0000
Subject: Whitespace

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

(limited to 'generic')

diff --git a/generic/pg-user.el b/generic/pg-user.el
index 650cfc11..0a6a2522 100644
--- a/generic/pg-user.el
+++ b/generic/pg-user.el
@@ -1315,7 +1315,7 @@ removed if it matches the last item in the ring."
 (define-key proof-mode-map [remap advertised-undo] 'pg-protected-undo)
 
 (defun pg-protected-undo (&optional arg)
-  "Behaves as `undo' unless undo would edit the locked region.
+  "Behaves as `undo' unless undo would edit in the locked region.
 In this case, undo is only allowed in the unlocked region,
 unless `proof-allow-undo-in-read-only' is set. 
 
-- 
cgit v1.2.3