proof-looking-at-syntactic-context: moved to proof-utils because of macro use

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)