diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2010-08-27 16:18:11 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2010-08-27 16:18:11 +0000 |
| commit | 5ab6bb9bb1dc698fefc073aebda13364086f131f (patch) | |
| tree | af52fb55a2803b41441edc8c7b040d9990bf30a2 /generic/pg-user.el | |
| parent | 3841c6b363b74d2fc214acd92041fa608d2e9913 (diff) | |
Remove proof-autosend-error-point
Diffstat (limited to 'generic/pg-user.el')
| -rw-r--r-- | generic/pg-user.el | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/generic/pg-user.el b/generic/pg-user.el index 35b015ad..8f25b71c 100644 --- a/generic/pg-user.el +++ b/generic/pg-user.el @@ -1417,7 +1417,7 @@ assuming the undo-in-region behavior will apply if ARG is non-nil." (setq proof-autosend-timer (run-with-idle-timer proof-autosend-delay t 'proof-autosend-loop)) - (setq proof-autosend-error-point nil) + (setq proof-autosend-modified-tick nil) (unless nomsg (message "Automatic sending turned on."))) (when (not proof-autosend-enable) (setq proof-autosend-timer nil) @@ -1457,7 +1457,6 @@ assuming the undo-in-region behavior will apply if ARG is non-nil." (proof-shell-wait t) ; interruptible (cond ((eq proof-shell-last-output-kind 'error) - (setq proof-autosend-error-point (proof-unprocessed-begin)) (message "Sending commands to prover...error")) ((and (input-pending-p) proof-shell-busy) (proof-interrupt-process) @@ -1484,7 +1483,6 @@ assuming the undo-in-region behavior will apply if ARG is non-nil." (proof-shell-wait t)) ; interruptible (cond ((eq proof-shell-last-output-kind 'error) - (setq proof-autosend-error-point (proof-unprocessed-begin)) (message "Trying next command in prover...error")) ((and (input-pending-p) proof-shell-busy) (proof-interrupt-process) |