diff options
| author | David Aspinall | 2002-01-31 18:29:18 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-01-31 18:29:18 +0000 |
| commit | 749768007fc5aba7b107048ec27222786ad839b7 (patch) | |
| tree | b87f75058420e300763d4f2491e44f2b46e72be6 | |
| parent | e2f6af9a5b5b880ad256379345c0d62d6a070dd6 (diff) | |
Simplify fix for repeated comments (commentre includes whitespace).
| -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))) |