diff options
| author |  Hendrik Tews <hendrik@askra.de> | 2016-12-20 21:27:29 +0100 |
|---|---|---|
| committer | Hendrik Tews <hendrik@askra.de> | 2016-12-28 13:10:43 +0100 |
| commit | 19c3160837736bc96eb55e1e79516781e3534184 (patch) | |
| tree | c0b4de75dbf11f9e34f5eba755c7742c32222e14 /coq/coq.el | |
| parent | 4322481d0509a9817935bf22ceb2a5be43a81892 (diff) | |
properly reset the vio2vo delay timer
cancel-timer does of course not set the variable that holds the
timer to nil
Diffstat (limited to 'coq/coq.el')
| -rw-r--r-- | coq/coq.el | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1871,7 +1871,7 @@ The not yet delayed output is in the region coq-proof-tree-additional-subgoal-ID-regexp end t) (let ((subgoal-id (match-string-no-properties 1))) (unless (gethash subgoal-id proof-tree-sequent-hash) - (message "CPTGNS new sequent %s found" subgoal-id) + ;; (message "CPTGNS new sequent %s found" subgoal-id) (setq proof-action-list (cons (proof-shell-action-list-item (coq-show-sequent-command subgoal-id) |