diff options
| author | David Aspinall | 1999-10-01 11:34:10 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-10-01 11:34:10 +0000 |
| commit | 9985c079f54f45020bdd5582b120ad0283a99b60 (patch) | |
| tree | 1a568d2601b71326a56850c8738592185c62ad53 /generic | |
| parent | d0f7e50b70db1b88a561d9277c4bd9151383534f (diff) | |
Removed dubious 'dont own process' error in proof-interrupt-process.
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-script.el | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index c2fdba57..e6938743 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -1238,8 +1238,9 @@ the proof script." (interactive) (if (not (proof-shell-live-buffer)) (error "Proof Process Not Started!")) - (if (not (eq (current-buffer) proof-script-buffer)) - (error "Don't own process!")) + ; 1.10.99 da: removed this test, it seems silly. + ; (if (not (eq (current-buffer) proof-script-buffer)) + ; (error "Don't own process!")) (if (not proof-shell-busy) (error "Proof Process Not Active!")) (save-excursion |