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 9c36c40b..b5d516d6 100644 --- a/generic/proof-syntax.el +++ b/generic/proof-syntax.el @@ -119,7 +119,8 @@ nil if a region cannot be found." (defun proof-looking-at-syntactic-context () "Determine if current point is at beginning or within comment/string context. If so, return a symbol indicating this ('comment or 'string). -This function invokes <PA-syntactic-context> if that is defined." +This function invokes <PA-syntactic-context> if that is defined, otherwise +it calls `proof-looking-at-syntactic-context'." (if (fboundp (proof-ass-sym syntactic-context)) (funcall (proof-ass-sym syntactic-context)) (proof-looking-at-syntactic-context-default))) |