diff options
Diffstat (limited to 'generic/proof-shell.el')
| -rw-r--r-- | generic/proof-shell.el | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index a2d37f6b..93721855 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -369,10 +369,6 @@ process command." (switch-to-buffer proof-shell-buffer) (error "%s process exited!" proc)) - ;; PG manages the prover process, don't query user on exit - (set-process-query-on-exit-flag - (get-buffer-process proof-shell-buffer) nil) - ;; Initialise associated buffers (with-current-buffer proof-response-buffer |