diff options
| -rw-r--r-- | generic/proof-shell.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index a4936b9d..71bee6cf 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -864,7 +864,7 @@ Then we call `proof-shell-handle-error-or-interrupt-hook'." (setq proof-action-list nil) (proof-release-lock err-or-int) ;; Make sure that prover is outputting data now. - + ;; FIXME: put something here! ;; New: this is called for interrupts too. (run-hooks 'proof-shell-handle-error-or-interrupt-hook))) |