diff options
-rw-r--r-- | generic/proof-syntax.el | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/generic/proof-syntax.el b/generic/proof-syntax.el index 4da2b5a2..1cfea82a 100644 --- a/generic/proof-syntax.el +++ b/generic/proof-syntax.el @@ -98,7 +98,8 @@ nil if a region cannot be found." (if regexp (proof-looking-at regexp))) (defun proof-looking-at-syntactic-context () - "Determine if current point is at beginning or within comment/string context." + "Determine if current point is at beginning or within comment/string context. +If so, return non-nil." (or (proof-buffer-syntactic-context) (proof-looking-at-safe proof-comment-start-regexp) |