diff options
Diffstat (limited to 'coq/coq-compile-common.el')
-rw-r--r-- | coq/coq-compile-common.el | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/coq/coq-compile-common.el b/coq/coq-compile-common.el index 5a8c3af0..0f7c82af 100644 --- a/coq/coq-compile-common.el +++ b/coq/coq-compile-common.el @@ -654,10 +654,10 @@ correct in the new scripting buffer." (unless proof-shell-exit-in-progress (proof-shell-exit t))) - -(add-hook 'proof-deactivate-scripting-hook - 'coq-switch-buffer-kill-proof-shell - t) +;; This is now always done (in coq.el) +;(add-hook 'proof-deactivate-scripting-hook +; 'coq-switch-buffer-kill-proof-shell +; t) (provide 'coq-compile-common) |