From d0fff2b2fc369d14d6acfa92c650080ae1c9ae7a Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 10 Aug 2001 15:01:21 +0000
Subject: Use proof-looking-at-syntactic-context function from proof-syntax, as
 suggested by Markus

---
 generic/proof-script.el | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

(limited to 'generic/proof-script.el')

diff --git a/generic/proof-script.el b/generic/proof-script.el
index 87de84e6..8f19e3fb 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -1585,10 +1585,8 @@ This version is used when `proof-script-command-start-regexp' is set."
 	   (setq comstart (match-beginning 0)); save command start
 	   (or (save-excursion
 		 (goto-char comstart)
-		 (or ; continue if inside (or at start of) comment/string
-		  (proof-buffer-syntactic-context)
-		  (proof-looking-at proof-comment-start-regexp)
-		  (proof-looking-at proof-string-start-regexp)))
+		 ;; continue if inside (or at start of) comment/string
+		 (proof-looking-at-syntactic-context))
 	       (progn			    ; or, if found command...
 		 (setq cmdfnd 
 		       (> comstart startpos)); ignore first match
-- 
cgit v1.2.3