From b1b239a703855b3a603f48683413d0e709483ddd Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 28 Aug 2002 14:34:32 +0000
Subject: Fix bug in pg-remove-specials breaking x-sym display in Isabelle

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

diff --git a/generic/proof-utils.el b/generic/proof-utils.el
index e28241de..8e49e46c 100644
--- a/generic/proof-utils.el
+++ b/generic/proof-utils.el
@@ -435,7 +435,7 @@ Default to whole buffer.  Leave point at END."
 	(narrow-to-region start end))
     (goto-char (or start (point-min)))
     (proof-replace-regexp pg-special-char-regexp "")
-    (point-max)))
+    (goto-char (point-max))))
 
   
 
-- 
cgit v1.2.3