diff options
| author | David Aspinall | 2001-08-10 15:01:21 +0000 |
|---|---|---|
| committer | David Aspinall | 2001-08-10 15:01:21 +0000 |
| commit | d0fff2b2fc369d14d6acfa92c650080ae1c9ae7a (patch) | |
| tree | ee3bebaad8946512b3b63fd2c5ce53ad3350e291 /generic | |
| parent | f99d0db65bcf7e7a26729a6242f8d3d85fe75e79 (diff) | |
Use proof-looking-at-syntactic-context function from proof-syntax, as suggested by Markus
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-script.el | 6 |
1 files changed, 2 insertions, 4 deletions
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 |