From 9a909296f8abfcb64d59a796cccab26d8acc7eb0 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 28 Sep 2000 14:32:37 +0000
Subject: Fix comment.

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

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

diff --git a/generic/proof-script.el b/generic/proof-script.el
index dc6938ec..6d17f002 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -59,7 +59,7 @@ A hack for entities that are named in two places, so that find-next-entity
 doesn't return the same values twice.")
 
 ;; FIXME mmw: maybe handle comments/strings by using
-;; proof-looking-at-syntactic-context (XEmacs-only!)
+;; proof-looking-at-syntactic-context 
 (defun proof-script-find-next-entity (buffer)
   "Find the next entity for function menu in a proof script.
 A value for fume-find-function-name-method-alist for proof scripts.
-- 
cgit v1.2.3