From 858a775958acb876343155315ecf052d298b797a Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 1 Oct 2010 14:35:51 +0000
Subject: Comment

---
 generic/proof-utils.el | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'generic/proof-utils.el')

diff --git a/generic/proof-utils.el b/generic/proof-utils.el
index 44b73219..2c9468cd 100644
--- a/generic/proof-utils.el
+++ b/generic/proof-utils.el
@@ -659,10 +659,10 @@ EXTRAPATH is a list of extra path components"
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;
-;; Finding executables
+;; Word utility
 ;;
 
-;; This is taken from simple.el in GNU Emacs 23.
+;; This is adapted from simple.el in GNU Emacs 23.
 (defun pg-current-word-pos (&optional strict really-word)
   "Return the start and end positions of symbol that point is on (or nearby).
 The return value includes no text properties.
-- 
cgit v1.2.3