From 0252db29c55e72bdc2c60370c29705cddced152c Mon Sep 17 00:00:00 2001 From: Pierre Courtieu Date: Fri, 24 Feb 2017 12:51:16 +0100 Subject: Removing spurious debug messages. --- generic/proof-shell.el | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) (limited to 'generic') 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)))) -- cgit v1.2.3