diff options
Diffstat (limited to 'generic/proof-script.el')
| -rw-r--r-- | generic/proof-script.el | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index 01bc9f7b..b5f7ca15 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -1623,9 +1623,7 @@ This version is used when `proof-script-command-start-regexp' is set." (looking-at commentre) (re-search-forward proof-comment-end-regexp) (progn - (skip-chars-forward " \t\n") (while (looking-at commentre) - (skip-chars-forward " \t\n") (re-search-forward proof-comment-end-regexp)) (>= (point) comend))) 'comment 'cmd))) |