diff options
Diffstat (limited to 'generic/proof-script.el')
| -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 |