diff options
| author |  Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2017-02-24 12:51:16 +0100 |
|---|---|---|
| committer | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2017-02-24 12:51:16 +0100 |
| commit | 0252db29c55e72bdc2c60370c29705cddced152c (patch) | |
| tree | 4602d184899fb83adf10974a4d78e2a23ef20805 /generic | |
| parent | 34d3aaa272e4bc38fbcb59b35f5cb8984a223a31 (diff) | |
Removing spurious debug messages.
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-shell.el | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index 2c9f9727..51305eef 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -1118,13 +1118,11 @@ contains only invisible elements for Prooftree synchronization." (not (memq 'empty-action-list flags))) (let* ((cmd (mapconcat 'identity (nth 1 item) " ")) (extra-cmds (apply proof-shell-empty-action-list-command (list cmd))) - (dummy (message "extra-cmds = %S" extra-cmds)) ;; tag all new items with 'empty-action-list (extra-items (mapcar (lambda (s) (proof-shell-action-list-item s 'proof-done-invisible (list 'invisible 'empty-action-list))) - extra-cmds)) - (dummy (message "extra-items = %S" extra-items))) + extra-cmds))) ;; action-list should be empty at this point (setq proof-action-list (append extra-items proof-action-list)))) |