diff options
Diffstat (limited to 'generic/proof-shell.el')
-rw-r--r-- | generic/proof-shell.el | 3 |
1 files changed, 2 insertions, 1 deletions
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 |