diff options
| author | David Aspinall | 2000-04-07 15:51:04 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-04-07 15:51:04 +0000 |
| commit | 2b0d65b4e165a5b8870e50c3b0c7f69225866f1d (patch) | |
| tree | f02cb7843f0ae90da77ed5c12b555017e768c86c | |
| parent | 9424534f43284d294c199cc8beffa3dea59ef7cb (diff) | |
Comment.
| -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))) |