diff options
| -rw-r--r-- | generic/proof-script.el | 2 |
1 files changed, 1 insertions, 1 deletions
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. |