diff options
| -rw-r--r-- | generic/proof-syntax.el | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/generic/proof-syntax.el b/generic/proof-syntax.el index 0103c46b..0ca652c8 100644 --- a/generic/proof-syntax.el +++ b/generic/proof-syntax.el @@ -116,16 +116,6 @@ nil if a region cannot be found." (save-match-data (when (proof-looking-at-safe proof-string-start-regexp) 'string)))) -(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, 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))) - - ;; Replacing matches (defsubst proof-replace-string (string to-string) |