diff options
-rw-r--r-- | generic/proof-script.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index a3f4a52c..380c500d 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -1903,7 +1903,7 @@ comment, and insert or skip to the next semi)." (looking-at termregexp) ;; after the terminal (and - (re-search-backward termregexp (proof-unprocessed-begin)) + (re-search-backward termregexp (proof-unprocessed-begin) t) (goto-char nwsp) (eq (match-end 0) nwsp))) (insert proof-terminal-string) |