From 62ec846fcaaef8f3ae94302cbef2972f88a0804f Mon Sep 17 00:00:00 2001 From: Pierre Courtieu Date: Mon, 13 Mar 2017 14:49:29 +0100 Subject: Fixing #167. --- generic/proof-shell.el | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'generic') diff --git a/generic/proof-shell.el b/generic/proof-shell.el index 51305eef..4547a835 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -1115,7 +1115,8 @@ contains only invisible elements for Prooftree synchronization." ;; added by proof-shell-empty-action-list-command (prover ;; specific), call it. (when (and (null proof-action-list) - (not (memq 'empty-action-list flags))) + (not (memq 'empty-action-list flags)) + proof-shell-empty-action-list-command) (let* ((cmd (mapconcat 'identity (nth 1 item) " ")) (extra-cmds (apply proof-shell-empty-action-list-command (list cmd))) ;; tag all new items with 'empty-action-list -- cgit v1.2.3