diff options
Diffstat (limited to 'generic/proof-shell.el')
| -rw-r--r-- | generic/proof-shell.el | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index c171c1ca..98a0636b 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -1356,16 +1356,14 @@ MESSAGE should be a string annotated with ;; CASE clear response: prover asks PG to clear response buffer ((and proof-shell-clear-response-regexp - (string-match proof-shell-clear-response-regexp message) - proof-response-buffer) + (string-match proof-shell-clear-response-regexp message)) ;; Erase response buffer and possibly its windows. (proof-shell-maybe-erase-response nil t t)) ;; CASE clear goals: prover asks PG to clear goals buffer ((and proof-shell-clear-goals-regexp - (string-match proof-shell-clear-goals-regexp message) - proof-goals-buffer) - ;; Erase goals buffer but and possibly its windows + (string-match proof-shell-clear-goals-regexp message)) + ;; Erase goals buffer and possibly its windows (proof-clean-buffer proof-goals-buffer)) ;; CASE variable setting: prover asks PG to set some variable |