diff options
author | 2011-05-25 07:23:04 +0000 | |
---|---|---|
committer | 2011-05-25 07:23:04 +0000 | |
commit | b5435ab945710dd067b96ff2e25c3d058c11f831 (patch) | |
tree | 43bfa80d5801c716cced458e18b257a7e05e5dc1 /coq/coq.el | |
parent | d020f9c42ad658b05d669e10aef03f43e1605a98 (diff) |
- two fixes for coq-debug-auto-compilation
Diffstat (limited to 'coq/coq.el')
-rw-r--r-- | coq/coq.el | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -1141,7 +1141,7 @@ identifier and should therefore not be matched by this regexp.") (defvar coq-debug-auto-compilation nil - "Display more messages during compilation") + "*Display more messages during compilation") ;; basic utilities @@ -1364,7 +1364,7 @@ Display errors in buffer `coq-compile-response-buffer'." (if coq-debug-auto-compilation (message "compilation %s exited with %s, output |%s|" src-file coqc-status - (with-current-buffer proof-response-buffer + (with-current-buffer coq-compile-response-buffer (buffer-string)))) (unless (eq coqc-status 0) (coq-display-compile-response-buffer) |